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

DOI10.1016/j.entcs.2008.04.009zbMath1279.68258OpenAlexW2094220291MaRDI QIDQ2870196

Hubert Garavel

Publication date: 17 January 2014

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2008.04.009

zbMATH Keywords

verificationmodelingmodellingprocess algebraformal specificationspecificationmodel-driven engineeringcritical systemvalidationprocess calculusformal methodconcurrency theoryconcurrent systemmodel-driven architecture

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items

Formal modelling and verification of GALS systems using GRL and CADP ⋮ Revisiting sequential composition in process calculi ⋮ A general overview of formal languages for individual-based modelling of ecosystems ⋮ CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous

Uses Software

• PRISM
• CADP
• Concurrency Workbench
• CAESAR
• LOEWE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A brief history of Timed CSP
• Interactive Markov chains. And the quest for quantified quality
• State space reduction for process algebra specifications
• Tools and algorithms for the construction and analysis of systems. 12th international conference, TACAS 2006, held as part of the joint European conferences on theory and practice of software, ETAPS 2006, Vienna, Austria, March 25 -- April 2, 2006. Proceedings.
• Compiling communicating processes into delay-insensitive VLSI circuits
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
• A calculus of communicating systems
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• Compositional verification of asynchronous concurrent systems using CADP
• CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
• Translating FSP into LOTOS and Networks of Automata
• CIRCAL and the representation of communication, concurrency, and time
• A Theory of Communicating Sequential Processes
• Communicating sequential processes
• Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
• Corrigendum to ``A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time