The following pages link to Choreographies, logically (Q1699421):
Displaying 14 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)
- Realisability of choreographies (Q2206787) (← links)
- From communicating machines to graphical choreographies (Q2819808) (← links)
- Deciding choreography realizability (Q2942872) (← links)
- (Q4844498) (← links)
- (Q5018488) (← links)
- Applied Choreographies (Q5881532) (← links)
- Multiparty classical choreographies (Q6085975) (← links)
- From infinity to choreographies. Extraction for unbounded systems (Q6103018) (← links)
- Separating Sessions Smoothly (Q6135771) (← links)