Pages that link to "Item:Q5741573"
From MaRDI portal
The following pages link to Full abstraction for expressiveness: history, myths and facts (Q5741573):
Displayed 8 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)