The π-calculus [12] was proposed by Milner, Parrow, and Walker about twenty years ago for describing concurrent systems with mobile communication. The π-calculus is equipped with operational semantics defined in terms of Ltss (Labelled Transition Systems). Although a lot of theoretical results have been achieved on this language (see, e.g., [1, chapter 8] for a survey), only a few verification tools have been designed for analysing π-calculus specifications automatically. The two most famous examples are the Mobility Workbench (Mwb) [14] and Jack [5], which were developed in the 90s. © 2013 Springer-Verlag.
CITATION STYLE
Mateescu, R., & Salaün, G. (2013). PIC2LNT: Model transformation for model checking an applied pi-calculus. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7795 LNCS, pp. 192–198). https://doi.org/10.1007/978-3-642-36742-7_14
Mendeley helps you to discover research relevant for your work.