Pages that link to "Item:Q1772314"
From MaRDI portal
The following pages link to A hierarchy of equivalences for asynchronous calculi (Q1772314):
Displaying 15 items.
- More on bisimulations for higher order \(\pi\)-calculus (Q442289) (← links)
- Fair testing (Q865623) (← links)
- Event based choreography (Q988170) (← links)
- Virtually timed ambients: a calculus of nested virtualization (Q1683706) (← links)
- Exploring probabilistic bisimulations. I (Q1941884) (← links)
- Processes against tests: on defining contextual equivalences (Q2079681) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Bisimulation and coinduction enhancements: a historical perspective (Q2280213) (← links)
- Full abstraction for polymorphic \(\pi \)-calculus (Q2474052) (← links)
- On the Semantics of Markov Automata (Q3012929) (← links)
- Complete Lattices and Up-To Techniques (Q3498446) (← links)
- Structural Rewriting in the pi-Calculus. (Q5240137) (← links)
- Observing Success in the Pi-Calculus (Q5240185) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)
- Relating reasoning methodologies in linear logic and process algebra (Q5741581) (← links)
