Global types with internal delegation
From MaRDI portal
Publication:2286741
DOI10.1016/j.tcs.2019.09.027zbMath1436.68208OpenAlexW2977241542MaRDI QIDQ2286741
Paola Giannini, Ilaria Castellani, 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
Related Items (4)
Fault-tolerant multiparty session types ⋮ Partially Typed Multiparty Sessions ⋮ Unnamed Item ⋮ Prioritise the best variation
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Typing access control and secure information flow in sessions
- Reversible session-based pi-calculus
- Objects and session types
- Authentication and delegation with smart-cards
- A core model for choreographic programming
- Reversible sessions with flexible choices
- CCS: it's not fair! Fair schedulers cannot be implemented in CCS-like languages even under progress and certain fairness assumptions
- A type system for lock-free processes
- Multiparty Session Types Meet Communicating Automata
- Synthesising Choreographies from Local Session Types
- Deadlock-freedom-by-design
- Types for Role-Based Access Control of Dynamic Web Data
- Multiparty Asynchronous Session Types
- Multiparty asynchronous session types
- Structure Preserving Bisimilarity, Supporting an Operational Petri Net Semantics of CCSP
- Global Progress in Dynamically Interleaved Multiparty Sessions
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- Deadlock and lock freedom in the linear π-calculus
- Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types
- Dynamic multirole session types
- Global progress for dynamically interleaved multiparty sessions
This page was built for publication: Global types with internal delegation
