The following pages link to Modal logics for mobile processes (Q685408):
Displaying 15 items.
- On the decidability of process equivalences for the π-calculus (Q5096384) (← links)
- Reasoning about higher-order processes (Q5096732) (← links)
- Confluence of processes and systems of objects (Q5096733) (← links)
- A π-calculus with explicit substitutions: The late semantics (Q5096892) (← links)
- Divergence and unique solution of equations (Q5111619) (← links)
- (Q5155663) (← links)
- Barbed bisimulation (Q5204357) (← links)
- A Logical Characterisation of Static Equivalence (Q5262936) (← links)
- Coalgebraic Modal Logic Beyond Sets (Q5262938) (← links)
- A Proof Theoretic Approach to Operational Semantics (Q5262970) (← links)
- Multiple-Labelled Transition Systems for nominal calculi and their logics (Q5458061) (← links)
- (Q5856409) (← links)
- Event structures for the reversible early internal \(\pi\)-calculus (Q5925541) (← links)
- Explicit substitutions for \(\pi\)-congruences (Q5958613) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)