Parameterised multiparty session types

DOI10.2168/LMCS-8(4:6)2012MaRDI QIDQ5894960zbMATH OpenOpenAlexFDO

Authors Pierre-Malo Deniélou, Nobuko Yoshida, Andi Bejleri, Raymond Hu

Publication date 22 October 2012

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/lmcs-8(4:6)2012

zbMATH Keywords

dependent typesFFTGödel's \(\mathcal T\)parallel algorithmspi-calculussession typesweb services

Mathematics Subject Classification ID

Logic in computer science (03B70) Network protocols (68M12) Distributed systems (68M14) Parallel algorithms in computer science (68W10) Distributed algorithms (68W15)

Recommendations

• Parameterised Multiparty Session Types
• Multiparty session types, beyond duality
• Dynamic multirole session types
• Timed multiparty session types
• Multiparty asynchronous session types

Cited in

(25)

• Multiparty session types, beyond duality
• Certifying data in multiparty session types
• Precise subtyping for synchronous multiparty sessions
• Event structure semantics for multiparty sessions
• A gentle introduction to multiparty asynchronous session types
• Multiparty Session Types Within a Canonical Binary Theory, and Beyond
• Multiparty Asynchronous Session Types
• Certifying data in multiparty session types
• Timed multiparty session types
• scientific article; zbMATH DE number 7471686 (Why is no real title available?)
• Exploring type-level bisimilarity towards more expressive multiparty session types
• Session types for link failures
• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• scientific article; zbMATH DE number 6774227 (Why is no real title available?)
• Dynamic multirole session types
• Parameterised Multiparty Session Types
• The different shades of infinite session types
• Branching pomsets: design, expressiveness and applications to choreographies
• A predicate transformer for choreographies. Computing preconditions in choreographic programming
• Complete multiparty session type projection with automata
• Resource sharing via capability-based multiparty session types
• A session type system for asynchronous unreliable broadcast communication
• Less is more revisited: association with global protocols and multiparty sessions
• Certified implementability of global multiparty protocols
• Asynchronous global protocols, precisely

This page was built for publication: Parameterised multiparty session types

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