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