A compositional approach to performance modelling
A compositional approach to performance modelling
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Information Processing Letters
Information and Computation
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Probabilistic model checking of complex biological pathways
Theoretical Computer Science
A Practical Approach to Verification of Mobile Systems Using Net Unfoldings
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
A formal and integrated framework to simulate evolution of biological pathways
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
CMSB'06 Proceedings of the 2006 international conference on Computational Methods in Systems Biology
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
A Language for Biochemical Systems
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
On the statistical thermodynamics of reversible communicating processes
CALCO'11 Proceedings of the 4th international conference on Algebra and coalgebra in computer science
A language for biochemical systems: design and formal specification
Transactions on Computational Systems Biology XII
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science
Exact fluid lumpability for Markovian process algebra
CONCUR'12 Proceedings of the 23rd international conference on Concurrency Theory
Stochastic Modelling of the Kai-based Circadian Clock
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |
We introduce the continuous π-calculus, a process algebra for modelling behaviour and variation in molecular systems. Key features of the language are: its expressive succinctness; support for diverse interaction between agents via a flexible network of molecular affinities; and operational semantics for a continuous space of processes. This compositional semantics also gives a modular way to generate conventional differential equations for system behaviour over time. We illustrate these features with a model of an existing biological system, a simple oscillatory pathway in cyanobacteria. We then discuss future research directions, in particular routes to applying the calculus in the study of evolutionary properties of biochemical pathways.