A calculus for modelling, simulating and analysing compartmentalized biological systems

Radu Mardare, Adaoha Ihekwaba

Research output: Chapter in Book/Report/Conference proceedingChapterpeer-review


This paper introduces Process Calculus, a special modeling language designed for encoding and calculating the behaviors of compartmentalized biological systems. The formalism combines, in a unified framework, two successful computational paradigms - process algebras and membrane systems. The goal of Protein Calculus is to provide a formal tool for transforming collected information from in vivo experiments into coded definition of the different types of proteins, complexes of proteins, and membrane-organized systems of such entities. Using this encoded information as input, our calculus computes, in silico, the possible behaviors of a living system. © 2007 American Institute of Physics.
Original languageEnglish
Title of host publicationAIP Conference Proceedings
PublisherAmerican Institute of Physics Inc.
Number of pages5
ISBN (Print)9780735404786
Publication statusPublished - 8 Jan 2008
Externally publishedYes

Publication series

NameAIP Conference Proceedings


  • Biological systems
  • Membrane systems
  • Modeling languages
  • Process algebra


Dive into the research topics of 'A calculus for modelling, simulating and analysing compartmentalized biological systems'. Together they form a unique fingerprint.

Cite this