Pages that link to "Item:Q2819808"
From MaRDI portal
The following pages link to From Communicating Machines to Graphical Choreographies (Q2819808):
Displaying 5 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)
