Certifying Data in Multiparty Session Types
From MaRDI portal
Publication:3188299
DOI10.1007/978-3-319-30936-1_23zbMath1343.68063OpenAlexW4212940261MaRDI QIDQ3188299
Bernardo Toninho, Nobuko Yoshida
Publication date: 17 August 2016
Published in: A List of Successes That Can Change the World (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10044/1/43200
Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Certifying data in multiparty session types ⋮ Observed Communication Semantics for Classical Processes
Uses Software
Cites Work
- Subtyping for session types in the pi calculus
- A Semantics for Propositions as Sessions
- A Gentle Introduction to Multiparty Asynchronous Session Types
- Propositions as sessions
- Proof-Carrying Code in a Session-Typed Process Calculus
- Multiparty asynchronous session types
- A Theory of Design-by-Contract for Distributed Multiparty Interactions
- Session Types as Intuitionistic Linear Propositions
- Propositions as sessions
- Extensional equivalence and singleton types
- Globally Governed Session Semantics
- Parameterised Multiparty Session Types
- Parameterised Multiparty Session Types