A core calculus for a comparative analysis of bio-inspired calculi

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4421 LNCS, Issue , 2007, Pages 411-425

  Versari, Cristian ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

BioAmbients; Brane Calculi; Pi calculus; Polyadic synchronisation; Priority

Indexed keywords

BIOLOGICAL MEMBRANES; BIOTECHNOLOGY; INTERACTIVE COMPUTER GRAPHICS; MATHEMATICAL MODELS;

BIOAMBIENTS; BRANE CALCULI; PI-CALCULUS; POLYADIC SYNCHRONISATION;

DIFFERENTIATION (CALCULUS);

EID: 37149049106     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-71316-6_28     Document Type: Conference Paper

References (25)

1. F. de Boer, C. Palamidessi. Embedding as a Tool for Language Comparison. In Information and Computation 108(1), 1994.
2. N. Busi, R. Gorrieri. On the computational power of Brane Calculi. Third Workshop on Computational Methods in Systems Biology. Edinburgh, 2005.
3. M. Carbone, S. Maffeis. On the Expressive Power of Polyadic Synchronisation in pi-calculus. In Nordic Journal of Computing 10(2): 70-98, 2003.
4. L. Cardelli. Brane Calculi - Interactions of Biological Membranes. In Computational Methods in Systems Biology, 2004.
5. L. Cardelli, A. D. Gordon. Mobile Ambients. In Foundations of Software Science and Computation Structures: First International Conference, FOSSACS '98. Springer-Verlag, 1998.
6. L. Cardelli, G. Pǎun. An universality result for a (mem)brane calculus based on mate/drip operations. In International Journal of Foundations of Computer Science. World Scientific Publishing Company, 2005.
7. D. Chiarugi, M. Curti, P. Degano, R. Marangoni. VICE: A Virtual CEll. Computational Methods in Systems Biology. 2004
8. M. Curti, P. Degano, C. T. Baldari. Causal π-Calculus for Biochemical Modelling In Computational Methods in Systems Biology. 2003.
9. R. Cleaveland, G. Lüttgen, V. Natarajan. Priority in Process Algebra. In J.A. Bergstra, A. Ponse, S. A. Smolka, editors, Handbook of Process Algebra, Elsevier, 2001.
10. V. Danos, C. Laneve. Formal Molecular Biology. In Theoretical Computer Science 325 (1), 2004.
11. V. Danos, S. Pradalier. Projective Brane-calculus. Computational Methods in Systems Biology: Second International Workshop, CMSB904, 3082:1349148. 2004.
12. C. Laneve, F. Tarissan. A simple calculus for proteins and cells In Proc. of the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC06). 2006.
13. P. Lecca, C Priami, C. Laudanna, G. Constantin. Predicting cell adhesion probability via the biochemical stochastic pi-calculus. In Symposium on Applied Computing. 2004
14. R. Milner. The Polyadic π-Calculus: a Tutorial. In F. L. Hamer, W. Brauer and H. Schwichtenberg, editors, Logic and Algebra of Specification. Springer-Verlag, 1993.
15. R. Milner. Communicating and Mobile Systems: The π-Calculus. Cambridge University Press, 1999.
16. U. Nestmann, B.C. Pierce. Decoding Choice Encodings. In Proc. of the 7th International Conference on Concurrency Theory (CONCUR '96). 1996.
17. C. Palamidessi. Comparing the expressive power of the synchronous and the asynchronous π-calculi. Mathematical Structures in Computer Science 13(5): 685-719. 2003.
18. G. Pǎun. Computing with membranes. Journal of Computer and System Sciences, 61(1):108-143, 2000.
19. A. Phillips, L. Cardelli. A correct abstract machine for the stochastic pi-calculus. Transactions on Computational Systems Biology. 2005.
20. C. Priami. Stochastic π-calculus. The Computer Journal 38 (7). 1995.
21. C. Priami, P. Quaglia. Beta binders for biological interactions. In Computational Methods in Systems Biology, 2004.
22. A. Regev, W. Silverman, E. Shapiro. Representation and simulation of biochemical processes using the π-Calculus process algebra. In Proc. of the Pacific Symposium on Biocomputing (PSB '01). World Scientific Press, 2001.
23. C. Priami, A. Regev, W. Silverman, E. Shapiro. Application of a stochastic passingname calculus to representation and simulation of molecular processes. Information Processing Letters 80. 2001.
24. A. Regev, E. Panina, W. Silverman, L. Cardelli, E. Shapiro. BioAmbients: an abstraction for biological compartments. Theoretical Computer Science, 2004.
25. C. Versari. Encoding catalytic P systems in π In Proc. of the Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'06). 2006.