Pages that link to "Item:Q5111619"
From MaRDI portal
The following pages link to Divergence and unique solution of equations (Q5111619):
Displaying 8 items.
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Mechanized metatheory revisited (Q2323447) (← links)
- (Q5009710) (← links)
- Divergence and unique solution of equations (Q5111619) (← links)
- (Q5155663) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- (Q5856409) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
