Pages that link to "Item:Q2819808"
From MaRDI portal
The following pages link to From Communicating Machines to Graphical Choreographies (Q2819808):
Displaying 28 items.
- Contracts as games on event structures (Q272306) (← links)
- Relating two automata-based models of orchestration and choreography (Q272310) (← links)
- Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels (Q780055) (← links)
- Multiparty session types, beyond duality (Q1647963) (← links)
- Choreographies, logically (Q1699421) (← links)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- From global choreographies to verifiable efficient distributed implementations (Q2192464) (← links)
- An abstract framework for choreographic testing (Q2239278) (← links)
- Input urgent semantics for asynchronous timed session types (Q2329441) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Event structure semantics for multiparty sessions (Q2683035) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond (Q2827461) (← links)
- Honesty by Typing (Q2974791) (← links)
- The Paths to Choreography Extraction (Q2988384) (← links)
- On the Undecidability of Asynchronous Session Subtyping (Q2988385) (← links)
- Compliance in Behavioural Contracts: A Brief Survey (Q3460865) (← links)
- Global Protocol Implementations via Attribute-Based Communication (Q3460871) (← links)
- (Q5019694) (← links)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types (Q5041094) (← links)
- (Q5089276) (← links)
- (Q5114827) (← links)
- (Q5129942) (← links)
- (Q5856424) (← links)
- Composition of synchronous communicating systems (Q6052940) (← links)
- On Composing Communicating Systems (Q6122641) (← links)
- Partially Typed Multiparty Sessions (Q6197376) (← links)
