HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation

Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular

Hubert Garavel 1, *
* Corresponding author
1 VASY - System validation - Research and applications
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
Abstract : In this report we review the current state of concurrency theory with respect to its industrial impact. This review is both retrospective and prospective, and naturally encompasses process calculi, which are a major vector for spreading concurrency theory concepts. Considering the achievements, but also the failures, we try to identify the causes that, so far, prevented a larger dissemination of process calculi. This suggests a new generation of formal specification languages that would combine the concurrent features of process calculi with the standard concepts present in algorithmic languages. Finally, we underline two major evolutions in the software and hardware industries that open new application domains for the concurrency theory community.
Complete list of metadata

Cited literature [56 references]  Display  Hide  Download

Contributor : Hubert Garavel Connect in order to contact the contributor
Submitted on : Thursday, December 20, 2007 - 7:53:37 PM
Last modification on : Friday, February 4, 2022 - 3:24:11 AM
Long-term archiving on: : Thursday, September 23, 2010 - 4:06:27 PM


Files produced by the author(s)


  • HAL Id : inria-00191141, version 3



Hubert Garavel. Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular. [Research Report] RR-6368, INRIA. 2007, pp.16. ⟨inria-00191141v3⟩



Record views


Files downloads