Multiparty asynchronous session types
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Multiparty session types, beyond duality
- Timed runtime monitoring for multiparty conversations
- On the boundary between decidability and undecidability of asynchronous session subtyping
- A formal approach to open multiparty interactions
- Efficient sessions
- Process calculi as a tool for studying coordination, contracts and session types
- Composition and decomposition of multiparty sessions
- A core model for choreographic programming
- Mixed sessions
- Certifying choreography compilation
- Communicating finite state machines and an extensible toolchain for multiparty session types
- A linear-time branching-time perspective on interface automata
- Role-based development of dynamically evolving esembles
- From global choreographies to verifiable efficient distributed implementations
- Type theory based semantic verification for service composition in cloud computing environments
- Session coalgebras: a coalgebraic view on session types and communication protocols
- Global types with internal delegation
- Reversible sessions with flexible choices
- Moving from interface theories to assembly theories
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- Multiparty session types as coherence proofs
- Reversibility in session-based concurrency: a fresh look
- Data-driven adaptation for smart sessions
- Certifying data in multiparty session types
- Precise subtyping for synchronous multiparty sessions
- Session types for safe web service orchestration
- Interface automata for shared memory
- Event structure semantics for multiparty sessions
- Contracts as games on event structures
- Relating two automata-based models of orchestration and choreography
- Automata for analysing service contracts
- Session Types with Gradual Typing
- Corecursion and non-divergence in session-typed processes
- A gentle introduction to multiparty asynchronous session types
- Multiparty Session Types Within a Canonical Binary Theory, and Beyond
- A type theory for robust failure handling in distributed systems
- On projecting processes into session types
- Synchronizability for Verification of Asynchronously Communicating Systems
- Multiparty session types meet communicating automata
- Global escape in multiparty sessions
- Deadlock-freedom-by-design, multiparty asynchronous global programming
- Petri nets with structured data
- Discretionary Information Flow Control for Interaction-Oriented Specifications
- Honesty by typing
- scientific article; zbMATH DE number 6703933 (Why is no real title available?)
- The Paths to Choreography Extraction
- Event-based run-time adaptation in communication-centric systems
- Self-adaptation and secure information flow in multiparty communications
- Reversible client/server interactions
- Multiparty Asynchronous Session Types
- Behavioural analysis of sessions using the calculus of structures
- Contracts for Mobile Processes
- Secure Enforcement for Global Process Specifications
- Reversing single sessions
- Subtyping Supports Safe Session Substitution
- Certifying data in multiparty session types
- A type system for Discretionary Access Control
- Typing asymmetric client-server interaction
- On deciding synchronizability for asynchronously communicating systems
- Compliance in behavioural contracts: a brief survey
- Global protocol implementations via attribute-based communication
- Verifiable abstractions for contract-oriented systems
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Conversation Types
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- On the analysis of compensation correctness
- Affine sessions
- Typing access control and secure information flow in sessions
- Reversible session-based pi-calculus
- Lightening global types
- An algebraic theory for web service contracts
- Multiparty symmetric sum types
- A universal session type for untyped asynchronous communication
- Reversible multiparty sessions with checkpoints
- scientific article; zbMATH DE number 7471661 (Why is no real title available?)
- Rast: a language for resource-aware session types
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Aneris: a mechanised logic for modular reasoning about distributed systems
- Mixed sessions
- scientific article; zbMATH DE number 7559468 (Why is no real title available?)
- Session Types with Arithmetic Refinements
- \textbf{Actris 2.0}: asynchronous session-type based reasoning in separation logic
- Concurrent reversible sessions
- Synthesis of orchestrations and choreographies: bridging the gap between supervisory control and coordination of services
- On resolving non-determinism in choreographies
- Monitoring networks through multiparty session types
- Linear type theory for asynchronous session types
- The evolution of Jolie. From orchestrations to adaptable choreographies
- On the expressiveness of multiparty sessions
- Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
- A simple library implementation of binary sessions
- A WSDL-based type system for asynchronous WS-BPEL processes
- Dynamic multirole session types
- Global progress for dynamically interleaved multiparty sessions
- On asynchronous eventful session semantics
- scientific article; zbMATH DE number 7327953 (Why is no real title available?)
- Domain-aware session types
- Relating Process Languages for Security and Communication Correctness (Extended Abstract)
- Deconfined Global Types for Asynchronous Sessions
This page was built for publication: Multiparty asynchronous session types
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3189846)
