Pages that link to "Item:Q2864218"
From MaRDI portal
The following pages link to A Calculus of Global Interaction based on Session Types (Q2864218):
Displaying 6 items.
- A formal model for service-oriented interactions (Q436383) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055) (← links)
- Amalgamating sessions and methods in object-oriented languages with generics (Q1004058) (← links)
- Objects and session types (Q1021571) (← links)
- A barred operational semantics for a subset of WS-CDL with time restrictions (Q1035678) (← links)
