Pages that link to "Item:Q888409"

The following pages link to Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409):

Displayed 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)