Multiparty asynchronous session types
From MaRDI portal
Recommendations
Cited in
(only showing first 100 items - show all)- Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
- Non-local configuration of component interfaces by constraint satisfaction
- Discretionary Information Flow Control for Interaction-Oriented Specifications
- Process calculi as a tool for studying coordination, contracts and session types
- Deadlock-freedom-by-design, multiparty asynchronous global programming
- Typing asymmetric client-server interaction
- Compliance in behavioural contracts: a brief survey
- Synchronizability for Verification of Asynchronously Communicating Systems
- A formal theory of choreographic programming
- EXPRESSing session types
- Session types for safe web service orchestration
- Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus
- A formal approach to open multiparty interactions
- Validation and verification of web services choreographies by using timed automata
- A WSDL-based type system for asynchronous WS-BPEL processes
- Subtyping context-free session types
- Multiparty Asynchronous Session Types
- Secure Enforcement for Global Process Specifications
- Fair termination of multiparty sessions
- scientific article; zbMATH DE number 7566072 (Why is no real title available?)
- Behavioural analysis of sessions using the calculus of structures
- Separation and encodability in mixed choice multiparty sessions
- Relating Process Languages for Security and Communication Correctness (Extended Abstract)
- Contracts as games on event structures
- Relating two automata-based models of orchestration and choreography
- scientific article; zbMATH DE number 7649947 (Why is no real title available?)
- Petri nets with structured data
- Programming and reasoning about actors that share state
- Certifying choreography compilation
- The Paths to Choreography Extraction
- An algebraic theory for web service contracts
- Moving from interface theories to assembly theories
- Branching pomsets: design, expressiveness and applications to choreographies
- scientific article; zbMATH DE number 7471661 (Why is no real title available?)
- Crash-stop failures in asynchronous multiparty session types
- Global types with internal delegation
- Subtyping Supports Safe Session Substitution
- Reversible sessions with flexible choices
- Session coalgebras: a coalgebraic view on session types and communication protocols
- Stateful Behavioral Types for Active Objects
- A simple library implementation of binary sessions
- On the expressiveness of multiparty sessions
- Fundamentals of session types
- scientific article; zbMATH DE number 7215288 (Why is no real title available?)
- Precise subtyping for synchronous multiparty sessions
- Parameterised Multiparty Session Types
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- Open compliance in multiparty sessions with partial typing
- Verifying asynchronous interactions via communicating session automata
- A session type system for asynchronous unreliable broadcast communication
- Contracts for Mobile Processes
- On the analysis of compensation correctness
- Parameterized dataflow (extended abstract)
- Certifying data in multiparty session types
- Data-driven adaptation for smart sessions
- Reversibility in session-based concurrency: a fresh look
- Certifying data in multiparty session types
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Keep me out of the loop: a more flexible choreographic projection
- Communicating finite state machines and an extensible toolchain for multiparty session types
- Global protocol implementations via attribute-based communication
- Realisability of global models of interaction
- Multiparty symmetric sum types
- Session-Based Communication Optimisation for Higher-Order Mobile Processes
- Partial and complete processes in multiparty sessions
- The stream-based service-centred calculus: a foundation for service-oriented programming
- Exploring type-level bisimilarity towards more expressive multiparty session types
- Event-based run-time adaptation in communication-centric systems
- Reversible client/server interactions
- Self-adaptation and secure information flow in multiparty communications
- Worst-case input generation for concurrent programs under non-monotone resource metrics
- Affine sessions
- Multiparty session types meet communicating automata
- Typing access control and secure information flow in sessions
- Global escape in multiparty sessions
- Reversible session-based pi-calculus
- Automata for analysing service contracts
- Monitoring networks through multiparty session types
- Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
- Trace-based verification of imperative programs with I/O
- Dynamic multirole session types
- Global types and event structure semantics for asynchronous multiparty sessions
- Parameterised multiparty session types
- Conversation types
- Subtyping context-free session types
- Formal analysis of the contract automata runtime environment with \textsc{Uppaal}: modelling, verification and testing
- Corecursion and non-divergence in session-typed processes
- scientific article; zbMATH DE number 7471698 (Why is no real title available?)
- Global progress for dynamically interleaved multiparty sessions
- On asynchronous eventful session semantics
- A type theory for robust failure handling in distributed systems
- Combining behavioural types with security analysis
- Concurrent reversible sessions
- Rast: resource-aware session types with arithmetic refinements (system description)
- Partially Typed Multiparty Sessions
- The produoidal algebra of process decomposition
- A centralized and a decentralized method to automatically derive choreography-conforming web service systems
- Multiparty session types, beyond duality
- Mixed sessions
- Functional choreographic programming
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)
