The following pages link to (Q3776603):
Displaying 5 items.
- Modal logics for communicating systems (Q578896) (← links)
- A complete modal proof system for HAL: the Herbrand agent language (Q1311969) (← links)
- Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS (Q1878715) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- (Q3677160) (← links)