Pages that link to "Item:Q3541040"
From MaRDI portal
The following pages link to Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040):
Displaying 16 items.
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- Distinguishing and relating higher-order and first-order processes by expressiveness (Q1935453) (← 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)
- The Expressive Power of Monotonic Parallel Composition (Q2802500) (← links)
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- (Q3385647) (← links)
- (Q5015357) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- (Q5111635) (← links)
- Decidable Fragments of a Higher Order Calculus with Locations (Q5170669) (← links)
- Concurrency cannot be observed, asynchronously (Q5740646) (← links)
- Translation of CCS into CSP, correct up to strong bisimulation (Q6045054) (← links)