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 16 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 expressive power of \textsc{Klaim}-based calculi (Q2491638) (← links)
- The seal calculus (Q2566220) (← links)
- On the relative expressive power of calculi for mobility (Q2805161) (← links)
- Lexically scoped distribution: what you see is what you get (Q2844042) (← links)
- On the expressive power of \textsc{Klaim}-based calculi (Q2848139) (← links)
- On the expressiveness of π-calculus for encoding mobile ambients (Q3130299) (← links)
- On the Expressiveness of Symmetric Communication (Q3179397) (← links)
- (Q3385647) (← links)
- Towards a Visual Definition of a Process in a Distributed Environment (Q3613485) (← links)
- Full abstraction for expressiveness: history, myths and facts (Q5741573) (← links)
- Mixed choice in session types (Q6543263) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)