A calculus of mobile processes, I
Information and Computation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Theoretical Computer Science
Membrane Computing: An Introduction
Membrane Computing: An Introduction
From pi-Calculus to Higher-Order pi-Calculus - and Back
TAPSOFT '93 Proceedings of the International Joint Conference CAAP/FASE on Theory and Practice of Software Development
The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes
LICS '98 Proceedings of the 13th Annual IEEE Symposium on Logic in Computer Science
Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Modelization and simulation of nano devices in nanok calculus
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Equivalence and Discretisation in Bio-PEPA
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Action-based analysis of discrete regulatory networks with short-term stimuli
Proceedings of the 8th International Conference on Computational Methods in Systems Biology
A semantic equivalence for Bio-PEPA based on discretisation of continuous values
Theoretical Computer Science
Compartmental rule-based modeling of biochemical systems
Winter Simulation Conference
Equivalences for a biological process algebra
Theoretical Computer Science
Measurable stochastics for Brane Calculus
Theoretical Computer Science
Hi-index | 5.23 |
The use of process calculi to represent biological systems has led to the design of different formalisms such as brane calculi and @k-calculus. Both have proved to be useful to model different types of biological systems. As an attempt to unify the formalisms, we introduce the bio@k-calculus, a simple calculus for describing proteins and cells, in which bonds are represented by means of shared names and interactions are modelled at the domain level. In bio@k-calculus, protein-protein interactions have to be at most binary and cell interactions have to fit with sort constraints. In this contribution we define the semantics of bio@k-calculus, analyse its properties, discuss the expressivity of the calculus by modelling two significant examples-a signalling pathway and a virus infection-and study an implementation in Milner's @p-calculus.