On Duality Relations for Session Types
From MaRDI portal
Publication:2811925
DOI10.1007/978-3-662-45917-1_4zbMath1444.68111OpenAlexW91113134WikidataQ57599638 ScholiaQ57599638MaRDI QIDQ2811925
Giovanni Bernardi, Dimitrios Kouzapas, Ornela Dardha, Simon J. Gay
Publication date: 9 June 2016
Published in: Trustworthy Global Computing (Search for Journal in Brave)
Full work available at URL: http://eprints.gla.ac.uk/101087/7/101087.pdf
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Privacy of data (68P27)
Related Items (15)
Characteristic bisimulation for higher-order session processes ⋮ Session-based concurrency, declaratively ⋮ Contracts as games on event structures ⋮ Mixed Sessions ⋮ Session types and subtyping for orchestrated interactions ⋮ Binary Session Types for Psi-Calculi ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Multiparty session types, beyond duality ⋮ Using session types for reasoning about boundedness in the \(\pi\)-calculus ⋮ On the relative expressiveness of higher-order session processes ⋮ Unnamed Item ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ On the Relative Expressiveness of Higher-Order Session Processes ⋮ Session types without sophistry. System description ⋮ Mixed sessions
This page was built for publication: On Duality Relations for Session Types
