Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2007

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

Résumé

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.
Fichier principal
Vignette du fichier
RR-6368.pdf (209.13 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00191141 , version 1 (24-11-2007)
inria-00191141 , version 2 (26-11-2007)
inria-00191141 , version 3 (20-12-2007)

Identifiants

  • HAL Id : inria-00191141 , version 3

Citer

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⟩
195 Consultations
454 Téléchargements

Partager

Gmail Facebook X LinkedIn More