Publications

BibTex format

@inproceedings{Haagensen:2008:10.1016/j.entcs.2007.11.004,
author = {Haagensen, B and Maffeis, S and Phillips, I},
doi = {10.1016/j.entcs.2007.11.004},
pages = {85--99},
publisher = {Elsevier},
title = {Matching systems for concurrent calculi},
url = {http://dx.doi.org/10.1016/j.entcs.2007.11.004},
year = {2008}
}

Download

RIS format (EndNote, RefMan)

TY  - CPAPER
AB  - Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and investigate matching systems for CCS, the pi-calculus and Mobile Ambients. We show among other results that the asynchronous pi-calculus with matching cannot be encoded (under certain conditions) in CCS with polyadic synchronisation of all finite levels.
AU  - Haagensen,B
AU  - Maffeis,S
AU  - Phillips,I
DO  - 10.1016/j.entcs.2007.11.004
EP  - 99
PB  - Elsevier
PY  - 2008///
SP  - 85
TI  - Matching systems for concurrent calculi
UR  - http://dx.doi.org/10.1016/j.entcs.2007.11.004
UR  - http://express07.pps.jussieu.fr/
ER  -

Download

DrSergioMaffeis

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)