Pages that link to "Item:Q5505419"
From MaRDI portal
The following pages link to Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419):
Displaying 7 items.
- A formal model for service-oriented interactions (Q436383) (← links)
- Deadlock checking by a behavioral effect system for lock handling (Q444480) (← links)
- Conversation types (Q615952) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
