Revisiting sequential composition in process calculi - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Journal of Logical and Algebraic Methods in Programming Année : 2015

Revisiting sequential composition in process calculi

Hubert Garavel

Résumé

The article reviews the various ways sequential composition is defined in traditional process calculi, and shows that such definitions are not optimal, thus limiting the dissemination of concurrency theory ideas among computer scientists. An alternative approach is proposed, based on a symmetric binary operator and write-many variables. This approach, which generalizes traditional process calculi, has been used to define the new LNT language implemented in the CADP toolbox. Feedback gained from university lectures and real-life case studies shows a high acceptance by computer-science students and industry engineers.
Fichier principal
Vignette du fichier
main.pdf (373.28 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01247770 , version 1 (22-12-2015)

Identifiants

Citer

Hubert Garavel. Revisiting sequential composition in process calculi. Journal of Logical and Algebraic Methods in Programming, 2015, ⟨10.1016/j.jlamp.2015.08.001⟩. ⟨hal-01247770⟩
231 Consultations
420 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More