Using Higher-Order Contracts to Model Session Types (Extended Abstract)

DOI10.1007/978-3-662-44584-6_27zbMath1417.68116OpenAlexW241121309MaRDI QIDQ3190131

Giovanni Bernardi, Matthew C. B. Hennessy

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/10344/5419

Mathematics Subject Classification ID

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

Related Items (5)

Binary Session Types for Psi-Calculi ⋮ Multiparty session types, beyond duality ⋮ Verifiable abstractions for contract-oriented systems ⋮ Honesty by Typing ⋮ Polymorphic lambda calculus with context-free session types

This page was built for publication: Using Higher-Order Contracts to Model Session Types (Extended Abstract)