A Semantic Deconstruction of Session Types

DOI10.1007/978-3-662-44584-6_28zbMath1417.68115OpenAlexW1582827681MaRDI QIDQ3190132

Alceste Scalas, Roberto Zunino, Massimo Bartoletti

Publication date: 15 September 2014

Published in: CONCUR 2014 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/11584/266784

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (10)

Contracts as games on event structures ⋮ Compliance in Behavioural Contracts: A Brief Survey ⋮ Verifiable abstractions for contract-oriented systems ⋮ Composition of synchronous communicating systems ⋮ Precise subtyping for synchronous multiparty sessions ⋮ On Composing Communicating Systems ⋮ Honesty by Typing ⋮ Progress-preserving Refinements of CTA ⋮ A fixed-points based framework for compliance of behavioural contracts ⋮ Input urgent semantics for asynchronous timed session types

This page was built for publication: A Semantic Deconstruction of Session Types