The following pages link to Concurrency Workbench (Q26646):
Displaying 11 items.
- Differential privacy in probabilistic systems (Q529047) (← links)
- Game-theoretic simulation checking tool (Q764005) (← links)
- Introduction to concurrency theory. Transition systems and CCS (Q897107) (← links)
- Modelling and verification of delay-insensitive circuits using CCS and the concurrency workbench (Q1029101) (← links)
- Making a productive use of failure to generate witnesses for coinduction from divergent proof attempts (Q1601863) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Efficient symbolic computation of process expressions (Q2389343) (← links)
- Reflections on the future of concurrency theory in general and process calculi in particular (Q2870196) (← links)
- (Q4530471) (← links)
- Quotient Machines, the Interface Equation and Protocol Conversion (Q4950850) (← links)
- (Q5461602) (← links)