Pages that link to "Item:Q3569037"
From MaRDI portal
The following pages link to On the proof method for bisimulation (Q3569037):
Displayed 6 items.
- Decoding choice encodings (Q1854385) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Up-to Techniques for Branching Bisimilarity (Q3297777) (← links)
- (Q5155663) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
- Constraints as processes (Q6104383) (← links)