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 14 items.
- A formal model for service-oriented interactions (Q436383) (← links)
- Lightening global types (Q492916) (← 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)
- Realisability of pomsets (Q2011200) (← links)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Session coalgebras: a coalgebraic view on session types and communication protocols (Q2233467) (← links)
- Theoretical aspects of communication-centred programming (Q2870194) (← links)
- On global types and multi-party sessions (Q2881091) (← links)
- Synthesising Choreographies from Local Session Types (Q2914373) (← links)
- Globally Governed Session Semantics (Q5891114) (← links)