Revisiting sequential composition in process calculi - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Journal Articles Journal of Logical and Algebraic Methods in Programming Year : 2015

Revisiting sequential composition in process calculi

Hubert Garavel

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.
Fichier principal
Vignette du fichier
main.pdf (373.28 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
234 View
434 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More