The following pages link to Conversation Types (Q3617706):
Displaying 8 items.
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Conversation types (Q615952) (← links)
- Choreographies, logically (Q1699421) (← links)
- Comparing type systems for deadlock freedom (Q2667185) (← links)
- A Type Theory for Robust Failure Handling in Distributed Systems (Q2827463) (← links)
- On projecting processes into session types (Q2883119) (← links)
- Contracts for Mobile Processes (Q3184675) (← links)
- (Q5129942) (← links)
