Revisiting sequential composition in process calculi

Hubert Garavel 1
1 CONVECS - Construction of verified concurrent systems
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : 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.
Type de document :
Article dans une revue
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2015, <10.1016/j.jlamp.2015.08.001>
Liste complète des métadonnées


https://hal.inria.fr/hal-01247770
Contributeur : Hubert Garavel <>
Soumis le : mardi 22 décembre 2015 - 17:12:43
Dernière modification le : jeudi 24 décembre 2015 - 01:05:12
Document(s) archivé(s) le : mercredi 23 mars 2016 - 14:11:20

Fichier

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

Identifiants

Collections

Citation

Hubert Garavel. Revisiting sequential composition in process calculi. Journal of Logical and Algebraic Methods in Programming, Elsevier, 2015, <10.1016/j.jlamp.2015.08.001>. <hal-01247770>

Partager

Métriques

Consultations de
la notice

294

Téléchargements du document

84