The following pages link to Choreographies, logically (Q1699421):
Displayed 10 items.
- On the concurrent computational content of intermediate logics (Q1989344) (← links)
- Connecting open systems of communicating finite state machines (Q2011202) (← links)
- Prioritise the best variation (Q2117016) (← links)
- Certifying choreography compilation (Q2119966) (← links)
- From global choreographies to verifiable efficient distributed implementations (Q2192464) (← links)
- (Q5018488) (← links)
- Applied Choreographies (Q5881532) (← links)
- From infinity to choreographies. Extraction for unbounded systems (Q6103018) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)
- A predicate transformer for choreographies. Computing preconditions in choreographic programming (Q6166802) (← links)