Pages that link to "Item:Q3507394"
From MaRDI portal
The following pages link to A Type System for Client Progress in a Service-Oriented Calculus (Q3507394):
Displaying 11 items.
- A formal model for service-oriented interactions (Q436383) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Conversation types (Q615952) (← links)
- Objects and session types (Q1021571) (← links)
- Spatial and behavioral types in the pi-calculus (Q1959478) (← links)
- A fixed-points based framework for compliance of behavioural contracts (Q2035654) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Types and Deadlock Freedom in a Calculus of Services, Sessions and Pipelines (Q5505419) (← links)
- CaSPiS: a calculus of sessions, pipelines and services (Q5740635) (← links)
- Global progress for dynamically interleaved multiparty sessions (Q5741563) (← links)
