Pages that link to "Item:Q6104371"
From MaRDI portal
The following pages link to On bisimulations for the asynchronous π-calculus (Q6104371):
Displaying 25 items.
- On the expressiveness of interaction (Q960859) (← links)
- A process algebraic view of Linda coordination primitives (Q1127512) (← links)
- Some congruence properties for \(\pi\)-calculus bisimilarities (Q1129260) (← links)
- Concurrency and knowledge-level communication in agent languages (Q1274547) (← links)
- On bisimulations for the asynchronous \(\pi\)-calculus (Q1276246) (← links)
- Bisimulations for a calculus of broadcasting systems (Q1276256) (← links)
- A \(\pi\)-calculus with explicit substitutions (Q1350998) (← links)
- Asynchronous process calculi: The first- and higher-order paradigms (Q1589656) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- A theory of bisimulation for the \(\pi\)-calculus (Q1901699) (← links)
- Variations on mobile processes (Q1960530) (← links)
- Computing bisimulations for finite-control \(\pi\)-calculus (Q1966507) (← links)
- Special issue on ``Comprehending asynchrony in specification and analysis'' dedicated to Walter Vogler on the occasion of his 60th birthday (Q2340251) (← links)
- (Q2754161) (← links)
- From computing to interaction: on the expressiveness of asynchronous pi-calculus (Q2856009) (← links)
- Linearity, persistence and testing semantics in the asynchronous pi-calculus (Q2864372) (← links)
- G-reactive systems as coalgebras (Q2864375) (← links)
- A coalgebraic theory of reactive systems (Q2870200) (← links)
- Efficient Bisimilarities from Second-Order Reaction Semantics for π-Calculus (Q3584942) (← links)
- On Bisimulation Theory in Linear Higher-Order π-Calculus (Q3651244) (← links)
- (Q4219054) (← links)
- Foundations of Software Science and Computation Structures (Q5308470) (← links)
- Minimality and separation results on asynchronous mobile processes -- representability theorems by concurrent combinators (Q5958469) (← links)
- On implementations and semantics of a concurrent programming language (Q6044131) (← links)
- Decoding choice encodings (Q6104373) (← links)
