Manifest deadlock-freedom for shared session types

DOI10.1007/978-3-030-17184-1_22zbMath1524.68208MaRDI QIDQ6070799

Frank Pfenning, Stephanie Balzer, Bernardo Toninho

Publication date: 24 November 2023

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

zbMATH Keywords

deadlock-freedomlinear and shared session types

Mathematics Subject Classification ID

Logic in computer science (03B70) 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 (3)

Relating Functional and Imperative Session Types ⋮ Probabilistic Analysis of Binary Sessions ⋮ Prioritise the best variation

This page was built for publication: Manifest deadlock-freedom for shared session types