Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
From MaRDI portal
Publication:5041094
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
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
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