Parameterised Multiparty Session Types

DOI10.2168/LMCS-8(4:6)2012zbMath1248.68089OpenAlexW2003314287MaRDI QIDQ5894960

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

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

FFTparallel algorithmsdependent typessession typespi-calculusweb servicesGödel's \(\mathcal T\)

Mathematics Subject Classification ID

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

Related Items (11)

Certifying data in multiparty session types ⋮ Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types ⋮ Multiparty session types, beyond duality ⋮ Certifying Data in Multiparty Session Types ⋮ Precise subtyping for synchronous multiparty sessions ⋮ 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 ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A Gentle Introduction to Multiparty Asynchronous Session Types

This page was built for publication: Parameterised Multiparty Session Types