PIC2LNT

PIC2LNT: model transformation for model checking an applied pi-calculus. 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.

References in zbMATH (referenced in 1 article , 1 standard article )

Showing result 1 of 1.
Sorted by year (citations)

  1. Mateescu, Radu; Salaün, Gwen: PIC2LNT: model transformation for model checking an applied pi-calculus (2013)