Certifying data in multiparty session types
From MaRDI portal
Publication:2360653
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
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
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