Pages that link to "Item:Q5230474"
From MaRDI portal
The following pages link to Models, Languages, and Tools for Concurrent and Distributed Programming (Q5230474):
Displaying 9 items.
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- Ensuring liveness properties of distributed systems: open problems (Q2011206) (← links)
- A theory of monitors (Q2051767) (← links)
- Towards refinable choreographies (Q2141294) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- (Q5089300) (← links)
- A model of actors and grey failures (Q6137831) (← links)
- Global types and event structure semantics for asynchronous multiparty sessions (Q6614546) (← links)