The following pages link to Scribble (Q32677):
Displaying 16 items.
- Verifiable abstractions for contract-oriented systems (Q347375) (← links)
- Monitoring networks through multiparty session types (Q517050) (← links)
- Partial and complete processes in multiparty sessions (Q737096) (← links)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python (Q888409) (← links)
- Combining behavioural types with security analysis (Q890614) (← links)
- Timed runtime monitoring for multiparty conversations (Q1682289) (← links)
- A core model for choreographic programming (Q2007727) (← links)
- Session-based concurrency, declaratively (Q2120811) (← links)
- Communicating finite state machines and an extensible toolchain for multiparty session types (Q2140476) (← links)
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus (Q2343135) (← links)
- Multiparty session types as coherence proofs (Q2357654) (← links)
- Precise subtyping for synchronous multiparty sessions (Q2423747) (← links)
- A Gentle Introduction to Multiparty Asynchronous Session Types (Q2822666) (← links)
- Enforcing Availability in Failure-Aware Communicating Systems (Q2827467) (← links)
- The Evolution of Jolie (Q5256366) (← links)
- (Q5278078) (← links)