A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

@inproceedings{Versari2007ACC,
  title={A Core Calculus for a Comparative Analysis of Bio-inspired Calculi},
  author={Cristian Versari},
  booktitle={ESOP},
  year={2007}
}
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… CONTINUE READING