Pages that link to "Item:Q5458829"
From MaRDI portal
The following pages link to Symbolic Bisimulation for the Applied Pi Calculus (Q5458829):
Displaying 6 items.
- Deciding equivalence-based properties using constraint solving (Q391121) (← links)
- Computing strong and weak bisimulations for psi-calculi (Q444457) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Compositional equivalences based on open pNets (Q2683032) (← links)
- A Complete Symbolic Bisimilarity for an Extended Spi Calculus (Q5170184) (← links)
- Symbolic Bisimulation for the Applied Pi Calculus (Q5458829) (← links)
