Complete multiparty session type projection with automata
type: Item
instance of: scholarly article
title: Complete multiparty session type projection with automata
zbMATH Open document ID: 1547.68506
DOI: 10.1007/978-3-031-37709-9_17
author: Elaine Li
author: Felix Stutz
author: Thomas Wies
author: Damien Zufferey
publication date: 2024-02-01T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 7798106
zbMATH Keywords: protocol verification
zbMATH Keywords: multiparty session types
zbMATH Keywords: communicating state machines
zbMATH Keywords: protocol fidelity
zbMATH Keywords: deadlock freedom
MaRDI profile type: Publication
cites work: Data Communicating Processes with Unreliable Channels
cites work: Realizability and verification of MSC graphs
cites work: Q5692280
cites work: Generalised multiparty session types with crash-stop failures
cites work: Meeting Deadlines Together
cites work: Non axiomatisability of positive relation algebras with constants, via graph homomorphisms
cites work: On Communicating Finite-State Machines
cites work: On the boundary between decidability and undecidability of asynchronous session subtyping
cites work: On global types and multi-party sessions
cites work: Verification of programs with half-duplex communication
cites work: Q5278078
cites work: A Gentle Introduction to Multiparty Asynchronous Session Types
cites work: Multiparty Session Types Meet Communicating Automata
cites work: Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
cites work: Parameterised Multiparty Session Types
cites work: Q3504343
cites work: Multiparty asynchronous session types
cites work: Session coalgebras: a coalgebraic view on session types and communication protocols
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: On the Undecidability of Asynchronous Session Subtyping
cites work: Verifying asynchronous interactions via communicating session automata
cites work: Realizability of high-level message sequence charts: closing the gaps
cites work: Generalising Projection in Asynchronous Multiparty Session Types.
cites work: Comparing the expressive power of the synchronous and asynchronous \(\pi\)-calculi
cites work: Analysis of a class of communicating finite state machines
cites work: Multiparty session types, beyond duality
cites work: Q6191022
cites work: Context-free session types
cites work: Certifying data in multiparty session types
cites work: Context-Bounded Analysis of Concurrent Queue Systems
description: scientific article; zbMATH DE number 7798106