Pages that link to "Item:Q2805161"
From MaRDI portal
The following pages link to On the relative expressive power of calculi for mobility (Q2805161):
Displaying 19 items.
- On the expressiveness and decidability of higher-order process calculi (Q627133) (← links)
- A taxonomy of process calculi for distribution and mobility (Q660996) (← links)
- Theory of interaction (Q896903) (← links)
- On the expressiveness of interaction (Q960859) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q1276243) (← links)
- Towards a unified approach to encodability and separation results for process calculi (Q1959439) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2848139) (← links)
- A parametric calculus for mobile open code (Q2864499) (← links)
- On Mobility and Communication (Q2994477) (← links)
- On the Expressiveness of the π-Calculus and the Mobile Ambients (Q3067465) (← links)
- (Q3385647) (← links)
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi (Q3541040) (← links)
- (Q4791831) (← links)
- On parameterization of higher-order processes (Q4976336) (← links)
- (Q5015357) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- On the expressiveness of internal mobility in name-passing calculi (Q6104372) (← links)