Parameterised Multiparty Session Types
From MaRDI portal
Publication:5900851
DOI10.1007/978-3-642-12032-9_10zbMath1284.68077arXiv1208.6483OpenAlexW1859947016MaRDI QIDQ5900851
Raymond Hu, Nobuko Yoshida, Andi Bejleri, Pierre-Malo Deniélou
Publication date: 27 April 2010
Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1208.6483
Parallel algorithms in computer science (68W10) Distributed systems (68M14) Network protocols (68M12) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Internet topics (68M11)
Related Items (9)
Certifying data in multiparty session types ⋮ Multiparty session types, beyond duality ⋮ Certifying Data in Multiparty Session Types ⋮ Fault-tolerant multiparty session types ⋮ Timed runtime monitoring for multiparty conversations ⋮ Precise subtyping for synchronous multiparty sessions ⋮ The different shades of infinite session types ⋮ Type theory based semantic verification for service composition in cloud computing environments ⋮ Deriving session and union types for objects
This page was built for publication: Parameterised Multiparty Session Types
