inria-00191141, version 3
Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular
N° RR-6368 (2007)
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.
- 1 :
- INRIA – Institut polytechnique de Grenoble (Grenoble INP) – Université Joseph Fourier - Grenoble I – Université Pierre-Mendès-France - Grenoble II – CNRS : UMR5217
- Domaine : Informatique/Calcul parallèle, distribué et partagé
Informatique/Systèmes embarquésInformatique/Modélisation et simulationInformatique/Performance et fiabilitéInformatique/Langage de programmationInformatique/Génie logiciel - Mots-clés : concurrency theory – concurrent system – critical system – formal method – formal specification – model-driven architecture – model-driven engineering – modeling – modelling – process algebra – process calculus – specification – validation – verification
- Référence interne : RR-6368
- Versions disponibles : v1 (24-11-2007) v2 (26-11-2007) v3 (20-12-2007)
- inria-00191141, version 3
- http://hal.inria.fr/inria-00191141
- oai:hal.inria.fr:inria-00191141
- Contributeur :
- Soumis le : Jeudi 20 Décembre 2007, 19:53:37
- Dernière modification le : Jeudi 20 Décembre 2007, 20:21:39
Documents associés
Exporter