Pages that link to "Item:Q5741573"
From MaRDI portal
The following pages link to Full abstraction for expressiveness: history, myths and facts (Q5741573):
Displaying 10 items.
- On the interactive power of higher-order processes extended with parameterization (Q2026374) (← links)
- Coupled similarity: the first 32 years (Q2182667) (← links)
- Replacement freeness: a criterion for separating process calculi (Q2210864) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- (Q3385647) (← links)
- (Q5013871) (← links)
- (Q5015357) (← links)
- Parameterizing higher-order processes on names and processes (Q5108373) (← links)
- Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) (Q6076174) (← links)
- The reflective higher-order calculus: encodability, typability and separation (Q6124241) (← links)
