Pages that link to "Item:Q3614838"
From MaRDI portal
The following pages link to Coordination Via Types in an Event-Based Framework (Q3614838):
Displaying 8 items.
- Social coordination with locally observable types (Q722617) (← links)
- Event based choreography (Q988170) (← links)
- Composition and decomposition of multiparty sessions (Q1996856) (← links)
- A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
- Event-Based Service Coordination (Q3507372) (← links)
- Strong types for coordinating active objects (Q4790922) (← links)
- (Q5019690) (← links)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)