The following pages link to (Q3343432):
Displayed 6 items.
- Modal logics for communicating systems (Q578896) (← links)
- A refinement calculus for specifications in Hennessy-Milner logic with recursion (Q911261) (← links)
- Proof systems for satisfiability in Hennessy-Milner logic with recursion (Q912592) (← links)
- Algebra of communicating processes with abstraction (Q1067408) (← links)
- A logic for the specification and proof of regular controllable processes of CCS (Q1080653) (← links)
- A context dependent equivalence between processes (Q1088404) (← links)