Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Journal of Computer and System Sciences
On the expressive power of polyadic synchronisation in π-calculus
Nordic Journal of Computing
BioAmbients: an abstraction for biological compartments
Theoretical Computer Science - Special issue: Computational systems biology
Beta binders for biological interactions
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
An intermediate language for the stochastic simulation of biological systems
Theoretical Computer Science
A compositional approach for modeling and simulation of bio-molecular systems
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |
P systems are theoretical computing devices abstracted away from the biological architecture of the cell, introduced some years ago by Gheorghe Paun and now intensely studied. In the area of concurrent systems, process calculi have recently been applied and extended with similar aim, to simulate (and formalise) the behaviour of the cell. Although many common points can be found between the two approaches, no formal and exhaustive comparison has been carried out yet. @p@ is a new calculus, strongly @p-Calculus based, well-suited to easily encode biologically inspired process calculi. In this paper the encoding in @p@ of one variant of P systems is proposed, thus allowing a better understanding of similarities between P systems and bio-inspired process calculi.