swMATH14749MaRDI QIDQ26646FDOQ26646
Author name not available (Why is that?)
Official website: http://homepages.inf.ed.ac.uk/perdita/cwb/
Cited In (21)
- Reflections on the future of concurrency theory in general and process calculi in particular
- Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench
- Title not available (Why is that?)
- SIGREF
- JACK
- Amphion
- TVT
- LOTOSphere
- Introduction to concurrency theory. Transition systems and CCS
- A brief history of process algebra
- Mec 5
- VERSA
- CoCLAM
- LOEWE
- PyCUDD
- Efficient symbolic computation of process expressions
- Game-theoretic simulation checking tool
- Title not available (Why is that?)
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
- Quotient Machines, the Interface Equation and Protocol Conversion
- Differential privacy in probabilistic systems
This page was built for software: Concurrency Workbench
