Embedding as a tool for language comparison
Information and Computation
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Journal of Computer and System Sciences
Information Processing Letters
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
Causal pi-Calculus for Biochemical Modelling
CMSB '03 Proceedings of the First International Workshop on Computational Methods in Systems Biology
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
On the expressive power of polyadic synchronisation in π-calculus
Nordic Journal of Computing
Comparing the expressive power of the synchronous and asynchronous $pi$-calculi
Mathematical Structures in Computer Science
Predicting cell adhesion probability via the biochemical stochastic π-calculus
Proceedings of the 2004 ACM symposium on Applied computing
Theoretical Computer Science - Special issue: Computational systems biology
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
CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes
Electronic Notes in Theoretical Computer Science (ENTCS)
CMSB '08 Proceedings of the 6th International Conference on Computational Methods in Systems Biology
An Abstract Machine for the Stochastic Bioambient calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Spatial Calculus of Looping Sequences
Electronic Notes in Theoretical Computer Science (ENTCS)
A Translation of Beta-binders in a Prioritized Pi-calculus
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic biological modelling in the presence of multiple compartments
Theoretical Computer Science
An intermediate language for the stochastic simulation of biological systems
Theoretical Computer Science
Dynamic Compartments in the Imperative Π-Calculus
CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
Stochastic simulation of biological systems with dynamical compartment structure
CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Biochemical reaction rules with constraints
ESOP'11/ETAPS'11 Proceedings of the 20th European conference on Programming languages and systems: part of the joint European conferences on theory and practice of software
Spatial Calculus of Looping Sequences
Theoretical Computer Science
CC-Pi: a constraint language for service negotiation and composition
Rigorous software engineering for service-oriented systems
The attributed pi-calculus with priorities
Transactions on Computational Systems Biology XII
| Hi-index | 0.00 |
The application of process calculi theory to the modeling and the analysis of biological phenomena has recently attracted the interests of the scientific community. To this aim several specialized, bio-inspired process calculi have been proposed, but a formal comparison of their expressivity is still lacking. In this paper we present π@, an extension of the π-Calculus with priorities and polyadic synchronisation that turns out to be suitable to act as a core platform for the comparison of other calculi. Here we show π@ at work by providing "reasonable" encodings of the two most popular calculi for modeling membrane interactions, namely, BioAmbients and Brane Calculi.