Encoding Catalytic P Systems in π@

Electronic Notes in Theoretical Computer Science

Volumn 171, Issue 2 SPEC. ISS., 2007, Pages 171-186

  Versari, Cristian ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

catalytic P systems; membrane computing; priority; process algebra; systems biology

Indexed keywords

COMPUTATION THEORY; COMPUTER SIMULATION; GENE ENCODING;

BIOLOGICAL ARCHITECTURE; PROCESS ALGEBRA; PROCESS CALCULI; SYSTEMS BIOLOGY;

BIOLOGICAL SYSTEMS;

EID: 34250857971     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.05.015     Document Type: Article

References (11)

1. Carbone M., and Maffeis S. On the Expressive Power of Polyadic Synchronisation in pi-calculus. Nordic Journal of Computing 10 2 (2003) 70-98
2. L. Cardelli. Brane Calculi - Interactions of Biological Membranes. In Computational Methods in Systems Biology, 2004
3. Cleaveland R., Lüttgen G., and Natarajan V. Priority in Process Algebra. In: Bergstra J.A., Ponse A., and Smolka S.A. (Eds). Handbook of Process Algebra (2001), Elsevier
4. Milner R. The Polyadic π-Calculus: a Tutorial. In: Hamer F.L., Brauer W., and Schwichtenberg H. (Eds). Logic and Algebra of Specification (1993), Springer-Verlag
5. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press
6. Pǎun G. Computing with membranes. Journal of Computer and System Sciences 61 1 (2000) 108-143
7. G. Pǎun. Introduction to Membrane Computing. First Brainstorming Workshop on Uncertainty in Membrane Computing, Palma de Mallorca, Spain, November 2004, 17-65
8. C. Priami, P. Quaglia. Beta binders for biological interactions. In Computational Methods in Systems Biology, 2004
9. Regev A., Panina E., Silverman W., Cardelli L., and Shapiro E. BioAmbients: an abstraction for biological compartments. Theoretical Computer Science (2004)
10. A. Regev, W. Silverman, E. Shapiro. Representing Biomolecular Processes with Computer Process Algebra: π-Calculus programs of Signal Transduction pathways. 2000
11. C. Versari. Formal representation of complex biological systems. Master Thesys (in italian), University of Bologna, 2005