Concurrency Workbench
From MaRDI portal
Software:26646
swMATH14749MaRDI QIDQ26646FDOQ26646
Author name not available (Why is that?)
Cited In (11)
- 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?)
- Introduction to concurrency theory. Transition systems and CCS
- A brief history of process algebra
- 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
