Concurrency Workbench
From MaRDI portal
Cited in
(21)- Quotient Machines, the Interface Equation and Protocol Conversion
- 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
- scientific article; zbMATH DE number 2188495 (Why is no real title available?)
- SIGREF
- JACK
- Amphion
- TVT
- LOTOSphere
- Mec 5
- VERSA
- CoCLAM
- LOEWE
- PyCUDD
- Introduction to concurrency theory. Transition systems and CCS
- A brief history of process algebra
- Game-theoretic simulation checking tool
- Efficient symbolic computation of process expressions
- scientific article; zbMATH DE number 1748586 (Why is no real title available?)
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
- Differential privacy in probabilistic systems
This page was built for software: Concurrency Workbench
