Pages that link to "Item:Q6104371"
From MaRDI portal
The following pages link to On bisimulations for the asynchronous π-calculus (Q6104371):
Displayed 12 items.
- On the expressiveness of interaction (Q960859) (← links)
- A process algebraic view of Linda coordination primitives (Q1127512) (← links)
- Concurrency and knowledge-level communication in agent languages (Q1274547) (← links)
- Bisimulations for a calculus of broadcasting systems (Q1276256) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- Variations on mobile processes (Q1960530) (← links)
- G-Reactive Systems as Coalgebras (Q2864375) (← links)
- A Coalgebraic Theory of Reactive Systems (Q2870200) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
- First-order axioms for asynchrony (Q6044130) (← links)
- On implementations and semantics of a concurrent programming language (Q6044131) (← links)
- Decoding choice encodings (Q6104373) (← links)