Certifying data in multiparty session types

DOI10.1016/J.JLAMP.2016.11.005zbMath1371.68201OpenAlexW2460202555MaRDI QIDQ2360653

Nobuko Yoshida, Bernardo Toninho

Publication date: 4 July 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.11.005

zbMATH Keywords

session typesmultiparty session typesvalue-dependent types

Mathematics Subject Classification ID

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

Related Items (3)

Stateful Behavioral Types for Active Objects ⋮ A predicate transformer for choreographies. Computing preconditions in choreographic programming ⋮ Complete multiparty session type projection with automata

Uses Software

• Unnamed Item

Cites Work

• Subtyping for session types in the pi calculus
• A Gentle Introduction to Multiparty Asynchronous Session Types
• Proof-Carrying Code in a Session-Typed Process Calculus
• Multiparty Asynchronous Session Types
• Certifying Data in Multiparty Session Types
• Multiparty asynchronous session types
• A Theory of Design-by-Contract for Distributed Multiparty Interactions
• Extensional equivalence and singleton types
• Globally Governed Session Semantics
• Parameterised Multiparty Session Types
• Parameterised Multiparty Session Types

This page was built for publication: Certifying data in multiparty session types