Scribble
From MaRDI portal
Software:32677
swMATH20863MaRDI QIDQ32677FDOQ32677
Author name not available (Why is that?)
Cited In (16)
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Session-based concurrency, declaratively
- Precise subtyping for synchronous multiparty sessions
- The Evolution of Jolie
- Communicating finite state machines and an extensible toolchain for multiparty session types
- Enforcing Availability in Failure-Aware Communicating Systems
- Partial and complete processes in multiparty sessions
- Monitoring networks through multiparty session types
- Combining behavioural types with security analysis
- Title not available (Why is that?)
- Verifiable abstractions for contract-oriented systems
- Timed runtime monitoring for multiparty conversations
- Multiparty session types as coherence proofs
- A core model for choreographic programming
- A Gentle Introduction to Multiparty Asynchronous Session Types
This page was built for software: Scribble
