Pages that link to "Item:Q1878715"
From MaRDI portal
The following pages link to Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS (Q1878715):
Displayed 7 items.
- A general account of coinduction up-to (Q523132) (← links)
- SOS formats and meta-theory: 20 years after (Q877025) (← links)
- Bialgebraic methods and modal logic in structural operational semantics (Q1012126) (← links)
- Compositionality of Hennessy-Milner logic by structural operational semantics (Q2368979) (← links)
- Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap (Q3498468) (← links)
- (Q5856409) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)