Pages that link to "Item:Q5741564"
From MaRDI portal
The following pages link to On asynchronous eventful session semantics (Q5741564):
Displaying 14 items.
- Event-based run-time adaptation in communication-centric systems (Q315279) (← links)
- On the relative expressiveness of higher-order session processes (Q2272988) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- Behavioural semantics for asynchronous components (Q2397038) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- (Q5028420) (← links)
- Asynchronous Session Types and Progress for Object Oriented Languages (Q5428903) (← links)
- (Q5856424) (← links)
- Globally Governed Session Semantics (Q5891114) (← links)
- A session type system for asynchronous unreliable broadcast communication (Q6597963) (← links)
- Asynchronous session-based concurrency: deadlock-freedom in cyclic process networks (Q6635516) (← links)