Pages that link to "Item:Q660996"
From MaRDI portal
The following pages link to A taxonomy of process calculi for distribution and mobility (Q660996):
Displaying 8 items.
- On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus (Q1641151) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Expressiveness of concurrent intensionality (Q2193283) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- On the expressiveness of π-calculus for encoding mobile ambients (Q3130299) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- (Q3385647) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
