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