The following pages link to (Q3707371):
Displayed 7 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)
- A context dependent equivalence between processes (Q1088404) (← links)
- Compositionality and bisimulation: A negative result (Q1182130) (← links)
- A complete modal proof system for HAL: the Herbrand agent language (Q1311969) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)