Concurrency Workbench
From MaRDI portal
Software:26646
No author found.
Related Items (11)
Unnamed Item ⋮ Efficient symbolic computation of process expressions ⋮ Introduction to concurrency theory. Transition systems and CCS ⋮ Unnamed Item ⋮ Differential privacy in probabilistic systems ⋮ A brief history of process algebra ⋮ Quotient Machines, the Interface Equation and Protocol Conversion ⋮ Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench ⋮ Game-theoretic simulation checking tool ⋮ Reflections on the Future of Concurrency Theory in General and Process Calculi in Particular ⋮ Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts
This page was built for software: Concurrency Workbench
