Global types with internal delegation

DOI10.1016/J.TCS.2019.09.027MaRDI QIDQ2286741zbMATH OpenOpenAlexFDO

Authors Ilaria Castellani, Paola Giannini, Ross Horne, Mariangiola Dezani-Ciancaglini

Publication date 22 January 2020

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-02419937/file/cdgh19.pdf

zbMATH Keywords

communication-centric systemsmultiparty session typesprocess calculi

Mathematics Subject Classification ID

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

Recommendations

• Composition and decomposition of multiparty sessions
• Global progress for dynamically interleaved multiparty sessions
• On global types and multi-party sessions
• Session types for access and information flow control
• Multiparty session types, beyond duality

Cites work

• A core model for choreographic programming
• A graphical approach to progress for structured communication in web services
• A type system for lock-free processes
• Authentication and delegation with smart-cards
• CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
• Deadlock and lock freedom in the linear -calculus
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Dynamic multirole session types
• Global Principal Typing in Partially Commutative Asynchronous Sessions
• Global progress for dynamically interleaved multiparty sessions
• Global Progress in Dynamically Interleaved Multiparty Sessions
• scientific article; zbMATH DE number 1398002 (Why is no real title available?)
• Multiparty Asynchronous Session Types
• Multiparty asynchronous session types
• Multiparty compatibility in communicating automata: characterisation and synthesis of global session types
• Multiparty session types meet communicating automata
• Objects and session types
• Reversible session-based pi-calculus
• Reversible sessions with flexible choices
• Session types = intersection types + union types
• Structure preserving bisimilarity, supporting an operational Petri net semantics of CCSP
• Synthesising Choreographies from Local Session Types
• Types and programing languages
• Types for role-based access control of dynamic web data
• Typing access control and secure information flow in sessions

Cited in

(5)

• scientific article; zbMATH DE number 7559468 (Why is no real title available?)
• Partially Typed Multiparty Sessions
• Global types and event structure semantics for asynchronous multiparty sessions
• Partially typed multiparty sessions with internal delegation
• Partial typing for asynchronous multiparty sessions

This page was built for publication: Global types with internal delegation

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