Pages that link to "Item:Q2946747"
From MaRDI portal
The following pages link to A General Theory of Barbs, Contexts, and Labels (Q2946747):
Displaying 6 items.
- Categorical specification and implementation of replicated data types (Q2072069) (← links)
- Compositional analysis of protocol equivalence in the applied \(\pi \)-calculus using quasi-open bisimilarity (Q2119978) (← links)
- Observational and behavioural equivalences for soft concurrent constraint programming (Q2403819) (← links)
- Asynchronous Traces and Open Petri Nets (Q3460864) (← links)
- Equations, Contractions, and Unique Solutions (Q5278202) (← links)
- When privacy fails, a formula describes an attack: a complete and compositional verification method for the applied \(\pi\)-calculus (Q6041667) (← links)
