On duality relations for session types

DOI10.1007/978-3-662-45917-1_4MaRDI QIDQ2811925zbMATH OpenOpenAlexWikidataFDO

Authors Giovanni Bernardi, Ornela Dardha, Dimitrios Kouzapas, 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

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Privacy of data (68P27)

Recommendations

• Session types revisited
• Multiparty session types, beyond duality
• Session types at the mirror
• Subtyping Supports Safe Session Substitution
• scientific article; zbMATH DE number 7168313

Cited in

(19)

• Compliance in behavioural contracts: a brief survey
• EXPRESSing session types
• Using session types for reasoning about boundedness in the \(\pi\)-calculus
• scientific article; zbMATH DE number 7566072 (Why is no real title available?)
• Contracts as games on event structures
• Session-based concurrency, declaratively
• Session types and subtyping for orchestrated interactions
• A session type system for asynchronous unreliable broadcast communication
• Characteristic bisimulation for higher-order session processes
• Binary session types for psi-calculi
• A fixed-points based framework for compliance of behavioural contracts
• Session types without sophistry. System description
• Modelling session types using contracts
• Multiparty session types, beyond duality
• Mixed sessions
• Mixed sessions
• On the relative expressiveness of higher-order session processes
• On the relative expressiveness of higher-order session processes
• scientific article; zbMATH DE number 6851955 (Why is no real title available?)

This page was built for publication: On duality relations for session types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2811925)