Translating Pi-Calculus into LOTOS NT

Abstract : Process calculi supporting mobile communication, such as the π-calculus, are often seen as an evolution of classical value-passing calculi, in which communication between processes takes place along a fixed network of static channels. In this paper, we attempt to bring these calculi closer by proposing a translation from the finite control fragment of the π-calculus to Lotos NT, a value-passing concurrent language with classical process algebra flavour. Our translation is succinct in the size of the π-calculus specification and preserves the semantics of the language by ensuring a one-to-one correspondence between the states and transitions of the labeled transition systems corresponding to the input π-calculus and the output Lotos NT specifications. We automated this translation by means of the Pic2Lnt tool, which makes it possible to analyze π-calculus specifications using all the state-of-the-art simulation and verification functionalities provided by the Cadp toolbox.
Type de document :
Communication dans un congrès
Dominique Mery and Stephan Merz. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.229-244, 2010, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [31 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00524586
Contributeur : Ist Inria Nancy Grand Est <>
Soumis le : vendredi 8 octobre 2010 - 11:23:49
Dernière modification le : jeudi 11 janvier 2018 - 06:22:03
Document(s) archivé(s) le : lundi 10 janvier 2011 - 11:42:43

Fichier

main229.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00524586, version 1

Citation

Radu Mateescu, Gwen Salaün. Translating Pi-Calculus into LOTOS NT. Dominique Mery and Stephan Merz. Integrated Formal Methods - IFM 2010, Oct 2010, Nancy, France. Springer Berlin / Heidelberg, 6396, pp.229-244, 2010, Lecture Notes in Computer Science. 〈inria-00524586〉

Partager

Métriques

Consultations de la notice

620

Téléchargements de fichiers

196