Pages that link to "Item:Q5458402"
From MaRDI portal
The following pages link to The Conversation Calculus: A Model of Service-Oriented Computation (Q5458402):
Displaying 20 items.
- A formal model for service-oriented interactions (Q436383) (← links)
- Lightening global types (Q492916) (← links)
- Enabling synchronous and asynchronous communications in CSP for SOC (Q530849) (← links)
- Conversation types (Q615952) (← links)
- An accessible verification environment for UML models of services (Q617979) (← links)
- The stream-based service-centred calculus: a foundation for service-oriented programming (Q736830) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Towards a process calculus for REST: current state of the art (Q902704) (← links)
- Associative composition of components with double-sided interfaces (Q1733102) (← links)
- A coordination protocol language for power grid operation control (Q2011215) (← links)
- Reversible sessions with flexible choices (Q2329306) (← links)
- MarCaSPiS: a Markovian Extension of a Calculus for Services (Q2810685) (← links)
- A Type Theory for Robust Failure Handling in Distributed Systems (Q2827463) (← links)
- A New Strategy for Distributed Compensations with Interruption in Long-Running Transactions (Q2890323) (← links)
- On the expressive power of process interruption and compensation (Q3636911) (← links)
- (Q4558783) (← links)
- The Conversation Calculus: A Model of Service-Oriented Computation (Q5458402) (← links)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)
- Global escape in multiparty sessions (Q5741561) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
