Scribble
From MaRDI portal
Cited in
(31)- Timed runtime monitoring for multiparty conversations
- COWS
- A core model for choreographic programming
- Flow Caml
- Session-based concurrency, declaratively
- Communicating finite state machines and an extensible toolchain for multiparty session types
- LTSA-WS
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Multiparty session types as coherence proofs
- Precise subtyping for synchronous multiparty sessions
- CC-Pi
- A gentle introduction to multiparty asynchronous session types
- Enforcing availability in failure-aware communicating systems
- AIOCJ
- Transactors
- LARVA
- SAVARA
- JBoss
- SPY
- Timed Conversation
- Verifiable abstractions for contract-oriented systems
- apims
- JSFlow
- Monitoring networks through multiparty session types
- The evolution of Jolie. From orchestrations to adaptable choreographies
- On the preciseness of subtyping in session types
- Chor
- Zooid
- Partial and complete processes in multiparty sessions
- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- Combining behavioural types with security analysis
This page was built for software: Scribble
