Pages that link to "Item:Q5899079"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899079):
Displaying 13 items.
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- An alternative implementation of communication primitives (Q1091123) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- Linearity, persistence and testing semantics in the asynchronous pi-calculus (Q2864372) (← links)
- Synchrony vs asynchrony in communication primitives (Q2866346) (← links)
- (Q3152832) (← links)
- On the Expressiveness of Forwarding in Higher-Order Communication (Q3393405) (← links)
- On the Expressive Power of Communication Primitives in Parameterised Systems (Q3460063) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- On Synchronous and Asynchronous Interaction in Distributed Systems (Q3599113) (← links)
- Symmetric and Asymmetric Asynchronous Interaction (Q5166614) (← links)