Pages that link to "Item:Q2805161"
From MaRDI portal
The following pages link to On the Relative Expressive Power of Calculi for Mobility (Q2805161):
Displayed 12 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)
- 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 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)
- On parameterization of higher-order processes (Q4976336) (← links)
- (Q5015357) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)