Pages that link to "Item:Q888409"
From MaRDI portal
The following pages link to Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409):
Displaying 12 items.
- Monitoring networks through multiparty session types (Q517050) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- Fault-tolerant multiparty session types (Q2165214) (← links)
- Reversibility in session-based concurrency: a fresh look (Q2360649) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Linearity, Control Effects, and Behavioral Types (Q2988641) (← links)
- (Q4558783) (← links)
- A simple library implementation of binary sessions (Q5371999) (← links)
- (Q5875401) (← links)
- Applied Choreographies (Q5881532) (← links)
