The following pages link to (Q3677160):
Displaying 9 items.
- Modal logics for communicating systems (Q578896) (← links)
- Proof systems for satisfiability in Hennessy-Milner logic with recursion (Q912592) (← links)
- A context dependent equivalence between processes (Q1088404) (← links)
- Type theory and concurrency (Q1124322) (← 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)
- A compositional proof system on a category of labelled transition systems (Q2640340) (← links)
- A General Proof System for Modalities in Concurrent Constraint Programming (Q2842123) (← links)
- (Q3776603) (← links)