The following pages link to (Q3343432):
Displaying 8 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)
- Characteristic invariants in Hennessy-Milner logic (Q2182678) (← links)
- Logical characterisations, rule formats and compositionality for input-output conformance simulation (Q2423772) (← links)