Pages that link to "Item:Q1854329"
From MaRDI portal
The following pages link to What is a ``good'' encoding of guarded choice? (Q1854329):
Displayed 37 items.
- A randomized encoding of the \(\pi\)-calculus with mixed choice (Q555750) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Termination in higher-order concurrent calculi (Q710674) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Comparing communication primitives via their relative expressive power (Q1004386) (← links)
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- On the interactive power of higher-order processes extended with parameterization (Q2026374) (← links)
- A thesis for interaction (Q2055962) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Stochastic biological modelling in the presence of multiple compartments (Q2271443) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Types and full abstraction for polyadic \(\pi\)-calculus (Q2387197) (← links)
- Tutorial on separation results in process calculi via leader election problems (Q2464946) (← links)
- Separation of synchronous and asynchronous communication via testing (Q2465029) (← links)
- Symmetric electoral systems for ambient calculi (Q2475806) (← links)
- A typed encoding of boxed into safe ambients (Q2491209) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- Ensuring termination by typability (Q2500473) (← links)
- Communication and mobility control in boxed ambients (Q2573334) (← links)
- On an open problem of Amadio and Curien: The finite antichain condition (Q2573335) (← links)
- On the Relative Expressiveness of Higher-Order Session Processes (Q2802492) (← 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)
- Expressiveness of Process Algebras (Q2870198) (← links)
- Breaking symmetries (Q2971075) (← links)
- Synchrony versus causality in distributed systems (Q2971080) (← links)
- (Q3385647) (← 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)
- An expressiveness study of priority in process calculi (Q3655761) (← links)
- (Q5009447) (← links)
- (Q5013871) (← links)
- (Q5111635) (← links)
- Symmetric and Asymmetric Asynchronous Interaction (Q5166614) (← links)
- (Q6190871) (← links)