Multiparty asynchronous session types

DOI10.1145/1328438.1328472zbMath1295.68150OpenAlexW2040105559MaRDI QIDQ3189846

Kohei Honda, Nobuko Yoshida, Marco Carbone

Publication date: 12 September 2014

Published in: Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1328438.1328472

zbMATH Keywords

causalitymobile processessession typesmultipartychoreographycommunicationsstructured programming

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (only showing first 100 items - show all)

Multiparty session types as coherence proofs ⋮ Certifying choreography compilation ⋮ Relating Process Languages for Security and Communication Correctness (Extended Abstract) ⋮ On projecting processes into session types ⋮ Reversibility in session-based concurrency: a fresh look ⋮ Data-driven adaptation for smart sessions ⋮ Certifying data in multiparty session types ⋮ Contracts as games on event structures ⋮ Relating two automata-based models of orchestration and choreography ⋮ Deconfined Global Types for Asynchronous Sessions ⋮ Non-local configuration of component interfaces by constraint satisfaction ⋮ Unnamed Item ⋮ Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems ⋮ Mixed Sessions ⋮ Synchronizability for Verification of Asynchronously Communicating Systems ⋮ Communicating finite state machines and an extensible toolchain for multiparty session types ⋮ Behavioural Analysis of Sessions Using the Calculus of Structures ⋮ Event-based run-time adaptation in communication-centric systems ⋮ Self-adaptation and secure information flow in multiparty communications ⋮ Reversible client/server interactions ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Global Protocol Implementations via Attribute-Based Communication ⋮ Contracts for Mobile Processes ⋮ Secure Enforcement for Global Process Specifications ⋮ Reversing Single Sessions ⋮ Multiparty session types, beyond duality ⋮ Subtyping Supports Safe Session Substitution ⋮ Certifying Data in Multiparty Session Types ⋮ On deciding synchronizability for asynchronously communicating systems ⋮ Verifiable abstractions for contract-oriented systems ⋮ Fault-tolerant multiparty session types ⋮ Petri Nets with Structured Data ⋮ Unnamed Item ⋮ Discretionary Information Flow Control for Interaction-Oriented Specifications ⋮ A linear-time branching-time perspective on interface automata ⋮ Timed runtime monitoring for multiparty conversations ⋮ Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python ⋮ Validation and verification of web services choreographies by using timed automata ⋮ Conversation types ⋮ Role-based development of dynamically evolving esembles ⋮ Interface automata for shared memory ⋮ Combining behavioural types with security analysis ⋮ Trace-based verification of imperative programs with I/O ⋮ From global choreographies to verifiable efficient distributed implementations ⋮ Functional choreographic programming ⋮ Precise subtyping for synchronous multiparty sessions ⋮ Event structure semantics for multiparty sessions ⋮ Unnamed Item ⋮ Type theory based semantic verification for service composition in cloud computing environments ⋮ Unnamed Item ⋮ On the boundary between decidability and undecidability of asynchronous session subtyping ⋮ Session types for safe web service orchestration ⋮ A simple library implementation of binary sessions ⋮ On the analysis of compensation correctness ⋮ Unnamed Item ⋮ Honesty by Typing ⋮ Typing access control and secure information flow in sessions ⋮ The Paths to Choreography Extraction ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A formal approach to open multiparty interactions ⋮ Session coalgebras: a coalgebraic view on session types and communication protocols ⋮ Reversible session-based pi-calculus ⋮ Lightening global types ⋮ An algebraic theory for web service contracts ⋮ Process calculi as a tool for studying coordination, contracts and session types ⋮ Monitoring networks through multiparty session types ⋮ Composition and decomposition of multiparty sessions ⋮ A WSDL-based type system for asynchronous WS-BPEL processes ⋮ A core model for choreographic programming ⋮ Global progress for dynamically interleaved multiparty sessions ⋮ Fundamentals of session types ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Global types with internal delegation ⋮ The stream-based service-centred calculus: a foundation for service-oriented programming ⋮ Partial and complete processes in multiparty sessions ⋮ Automata for Analysing Service Contracts ⋮ Session Types with Gradual Typing ⋮ Corecursion and Non-divergence in Session-Typed Processes ⋮ Unnamed Item ⋮ Mixed sessions ⋮ Session-Based Communication Optimisation for Higher-Order Mobile Processes ⋮ Session Types with Arithmetic Refinements ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types ⋮ A type system for Discretionary Access Control ⋮ Multiparty Session Types Within a Canonical Binary Theory, and Beyond ⋮ A Type Theory for Robust Failure Handling in Distributed Systems ⋮ Unnamed Item ⋮ A centralized and a decentralized method to automatically derive choreography-conforming web service systems ⋮ Concurrent Reversible Sessions ⋮ Reversible sessions with flexible choices ⋮ Moving from interface theories to assembly theories ⋮ The Evolution of Jolie ⋮ Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus ⋮ Prioritise the best variation ⋮ Branching Pomsets for Choreographies

This page was built for publication: Multiparty asynchronous session types