Measurable stochastics for Brane Calculus

Theoretical Computer Science

Volumn 431, Issue , 2012, Pages 117-136

  Bacci, Giorgio ^a   Miculan, Marino ^a  

^a UNIVERSITY OF UDINE   (Italy)

Author keywords

Brane Calculus; Markov processes; Rate bisimilarity; Stochastic semantics; Structural operational semantics; Systems biology

Indexed keywords

BRANE CALCULI; RATE BISIMILARITY; STOCHASTIC SEMANTICS; STRUCTURAL OPERATIONAL SEMANTICS; SYSTEMS BIOLOGY;

COMPUTER PROGRAMMING LANGUAGES; MARKOV PROCESSES; SEMANTICS; STOCHASTIC SYSTEMS;

BIOINFORMATICS;

EID: 84859524228     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2011.12.055     Document Type: Article

References (33)

1. G. Bacci, M. Miculan, Measurable stochastics for brane calculus. CoRR abs/1011.0488, 2010.
2. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and A. Troina The calculus of looping sequences for modeling biological membranes G. Eleftherakis, P. Kefalas, G. Paun, G. Rozenberg, A. Salomaa, Workshop on Membrane Computing Lecture Notes in Computer Science vol. 4860 2007 Springer 54 76 (Pubitemid 351153104)
3. R. Barbuti, A. Maggiolo-Schettini, P. Milazzo, and A. Troina Bisimulations in calculi modelling membranes Form. Asp. Comput. 20 4-5 2008 351 377
4. F. Bartels, On generalised coinduction and probabilistic specification formats: distributive laws in coalgebraic modelling. Ph.D. thesis, CWI, Amsterdam, 2004. http://homepages.cwi.nl/bartels/Papers/Thesis.pdf.
5. F. Bartels, A. Sokolova, and E.P. de Vink A hierarchy of probabilistic system types Electron. Notes Theor. Comput. Sci. 82 1 2003
6. F. Bonchi, F. Gadducci, and G.V. Monreale Reactive systems, barbed semantics, and the mobile ambients L. de Alfaro, Proc. FOSSACS Lecture Notes in Computer Science vol. 5504 2009 Springer 272 287
7. L. Bortolussi, and M.G. Vigliotti CoBiC: context-dependent bioambient calculus Electron. Notes Theor. Comput. Sci. 253 3 2009 187 201
8. M. Bravetti, H. Hermanns, and J.-P. Katoen YMCA: Why Markov chain algebra? Electron. Notes Theor. Comput. Sci. 162 2006 107 112 (Pubitemid 44462754)
9. L. Brodo, P. Degano, and C. Priami A stochastic semantics for BioAmbients V.E. Malyshkin, Proc. PaCT Lecture Notes in Computer Science vol. 4671 2007 Springer 22 34
10. M. Calder, and S. Gilmore Computational Methods in Systems Biology, International Conference, CMSB 2007, Edinburgh, Scotland, September 20-21, 2007, Proceedings Lecture Notes in Computer Science vol. 4695 2007 Springer
11. L. Cardelli Brane calculi V. Danos, V. Schchter, Proc. CMSB Lecture Notes in Computer Science vol. 3082 2004 Springer 257 278
12. L. Cardelli, and R. Mardare The measurable space of stochastic processes Proc. QEST 2010 IEEE Computer Society 171 180
13. P. Chaput, V. Danos, P. Panangaden, and G.D. Plotkin Approximating labelled Markov processes again! A. Kurz, M. Lenisa, A. Tarlecki, CALCO Lecture Notes in Computer Science vol. 5728 2009 Springer 145 156
14. P. Chaput, V. Danos, P. Panangaden, and G.D. Plotkin Approximating Markov processes by averaging S. Albers, A. Marchetti-Spaccamela, Y. Matias, S.E. Nikoletseas, W. Thomas, ICALP (2) Lecture Notes in Computer Science vol. 5556 2009 Springer 127 138
15. V. Danos, J. Desharnais, F. Laviolette, and P. Panangaden Bisimulation and cocongruence for probabilistic systems Inform. and Comput. 204 4 2006 503 523
16. E.P. de Vink, and J.J.M.M. Rutten Bisimulation for probabilistic transition systems: a coalgebraic approach P. Degano, R. Gorrieri, A. Marchetti-Spaccamela, ICALP Lecture Notes in Computer Science vol. 1256 1997 Springer 460 470 (Pubitemid 127097762)
17. J. Desharnais, A. Edalat, and P. Panangaden Bisimulation for labelled Markov processes Inform. and Comput. 179 2 2002 163 193
18. E.-E. Doberkat Stochastic Coalgebraic Logic 2010 Springer
19. H. Hermanns Interactive Markov Chains: The Quest for Quantified Quality Lecture Notes in Computer Science vol. 2428 2002 Springer
20. M. Z. Kwiatkowska, G. Norman, R. Segala, and J. Sproston Automatic verification of real-time systems with discrete probability distributions J.-P. Katoen, ARTS Lecture Notes in Computer Science vol. 1601 1999 Springer 75 95
21. C. Laneve, and F. Tarissan A simple calculus for proteins and cells Theoret. Comput. Sci. 404 1-2 2008 127 141
22. K. G. Larsen, and A. Skou Bisimulation through probabilistic testing Inform. and Comput. 94 1 1991 1 28 (Pubitemid 21694897)
23. J. J. Leifer, and R. Milner Deriving bisimulation congruences for reactive systems C. Palamidessi, Proc. CONCUR Lecture Notes in Computer Science vol. 1877 2000 Springer 243 258
24. P. Panangaden Labelled Markov Processes 2009 Imperial College Press London, UK
25. L. Paulevé, S. Youssef, M. R. Lakin, and A. Phillips A generic abstract machine for stochastic process calculi P. Quaglia, Proc. CMSB 2010 ACM 43 54
26. A. Phillips, L. Cardelli, Efficient, correct simulation of biological processes in the stochastic pi-calculus, in: [10], 2007, pp. 184-199.
27. G.D. Plotkin, A structural approach to operational semantics. DAIMI FN-19, Computer Science Department, rhus University, rhus, Denmark, 1981.
28. G.D. Plotkin The origins of structural operational semantics J. Log. Algebr. Program. 60-61 2004 3 15
29. J. Rathke, and P. Sobocinski Deriving structural labelled transitions for mobile ambients F. van Breugel, M. Chechik, Proc. CONCUR Lecture Notes in Computer Science vol. 5201 2008 Springer 462 476
30. A. Regev, E.M. Panina, W. Silverman, L. Cardelli, and E.Y. Shapiro Bioambients: an abstraction for biological compartments Theoret. Comput. Sci. 325 1 2004 141 167
31. R. Segala, and N.A. Lynch Probabilistic simulations for probabilistic processes Nordic. J. Comput. 2 2 1995 250 273
32. D. Turi, and G. Plotkin Towards a mathematical operational semantics Proc. 12th LICS Conf 1997 IEEE Computer Society Press 280 291
33. C. Versari, N. Busi, Stochastic simulation of biological systems with dynamical compartment structure, in: [10], 2007, pp. 80-95.