„Multiparty session types“
Suchergebnisse
39 Treffer
-
Multiparty Session Programming with Global Protocol Combinators (Artifact)
-
Synthetic Behavioural Typing: Sound, Regular Multiparty Sessions via Implicit Local Types (Pearl/Brave New Idea)
-
Designing Asynchronous Multiparty Protocols with Crash-Stop Failures
-
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (Artifact)
-
Generalised Multiparty Session Types with Crash-Stop Failures
-
API Generation for Multiparty Session Types, Revisited and Revised Using Scala 3
-
Design-By-Contract for Flexible Multiparty Session Protocols
-
Stay Safe Under Panic: Affine Rust Programming with Multiparty Session Types
-
Multiparty Session Types for Safe Runtime Adaptation in an Actor Language
-
Session Subtyping and Multiparty Compatibility Using Circular Sequents
-
Multiparty Session Programming With Global Protocol Combinators
-
Motion Session Types for Robotic Interactions (Brave New Idea Paper)
-
Concurrent Reversible Sessions
-
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming
-
Coherence Generalises Duality: A Logical Explanation of Multiparty Session Types
-
Multiparty Session Types as Coherence Proofs
-
Meeting Deadlines Together
-
Composable partial multiparty session types for open systems
-
Multiparty session types as coherence proofs