Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

DOI10.1007/978-3-030-44914-8_10OpenAlexW3017186417MaRDI QIDQ5041094

Nobuko Yoshida, Sung-Shik Jongmans

Publication date: 13 October 2022

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-44914-8_10

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ A Theory of Formal Choreographic Languages ⋮ Branching pomsets: design, expressiveness and applications to choreographies ⋮ Unnamed Item

Uses Software

• mCRL2

Cites Work

• Unnamed Item
• Unnamed Item
• Self-adaptation and secure information flow in multiparty communications
• Typing access control and secure information flow in sessions
• Timed runtime monitoring for multiparty conversations
• Undecidability of asynchronous session subtyping
• From Communicating Machines to Graphical Choreographies
• On Global Types and Multi-Party Session
• Multiparty Session Types Meet Communicating Automata
• Deadlock-freedom-by-design
• Information flow safety in multiparty sessions
• On the Undecidability of Asynchronous Session Subtyping
• Multiparty Asynchronous Session Types
• Multiparty asynchronous session types
• Timed Multiparty Session Types
• A ground-complete axiomatisation of finite-state processes in a generic process algebra
• Session Types for Access and Information Flow Control
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• On Communicating Finite-State Machines
• Process algebra for synchronous communication
• Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
• An O ( m log n ) Algorithm for Computing Stuttering Equivalence and Branching Bisimulation
• An Overview of the mCRL2 Toolset and Its Recent Advances
• Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
• Meeting Deadlines Together
• Dynamic multirole session types
• Global progress for dynamically interleaved multiparty sessions
• Parameterised Multiparty Session Types

This page was built for publication: Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types