Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra.
Gérard BoudolIlaria CastellaniMatthew HennessyMogens NielsenGlynn WinskelPublished in: Concurrency, Graphs and Models (2008)
Keyphrases
- process algebra
- concurrent systems
- asynchronous circuits
- formal specification
- model checking
- concurrent programs
- formal methods
- temporal logic
- communication protocols
- grid workflow
- software development
- knowledge acquisition
- petri net
- relational databases
- database systems
- case study
- general purpose
- social networks
- real time
- database