Global types and event structure semantics for asynchronous multiparty sessions
From MaRDI portal
Publication:6614546
DOI10.3233/FI-242188MaRDI QIDQ6614546
Mariangiola Dezani-Ciancaglini, Paola Giannini, Ilaria Castellani
Publication date: 7 October 2024
Published in: Fundamenta Informaticae (Search for Journal in Brave)
process calculievent structuresmultiparty session typescommunication-centric systemscommunication-based programming
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A list of successes that can change the world. Essays dedicated to Philip Wadler on the occasion of his 60th birthday
- Linear logical relations and observational equivalences for session-based concurrency
- Reversibility and asymmetric conflict in event structures
- A partial ordering semantics for CCS
- Typed event structures and the linear \(\pi \)-calculus
- Fundamental properties of infinite trees
- Petri nets, event structures and domains. I
- The connection between an event structure semantics and an operational semantics for TCSP
- Flow models of distributed computations: Three equivalent semantics for CCS
- On the boundary between decidability and undecidability of asynchronous session subtyping
- Well-behaved flow event structures for parallel composition and action refinement
- Composition and decomposition of multiparty sessions
- Global types with internal delegation
- Causality in linear logic. Full completeness and injectivity (unit-free multiplicative-additive fragment)
- Reversible sessions with flexible choices
- Reversibility in session-based concurrency: a fresh look
- Undecidability of asynchronous session subtyping
- A type system for lock-free processes
- Subtyping for session types in the pi calculus
- Type-based information flow analysis for the \(\pi\)-calculus
- Event structure semantics for multiparty sessions
- Types and programing languages
- From communicating machines to graphical choreographies
- Propositions as sessions
- Multiparty Session Types Meet Communicating Automata
- Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
- Full Abstraction in a Subtyped pi-Calculus with Linear Types
- Multiparty Asynchronous Session Types
- Rigid Families for the Reversible $$\pi $$ -Calculus
- Reversing Single Sessions
- Multiparty asynchronous session types
- Type Reconstruction for the Linear \pi-Calculus with Composite Regular Types
- Compositional Event Structure Semantics for the Internal π-Calculus
- Session Types as Intuitionistic Linear Propositions
- Global Principal Typing in Partially Commutative Asynchronous Sessions
- A Theory of Communicating Sequential Processes
- Observational Equivalence for Multiparty Sessions
- Models, Languages, and Tools for Concurrent and Distributed Programming
- Dynamic multirole session types
- Global progress for dynamically interleaved multiparty sessions
- Linear logic propositions as session types
- A New Type System for Deadlock-Free Processes
- Deconfined Global Types for Asynchronous Sessions
- Event structure semantics of (controlled) reversible CCS
This page was built for publication: Global types and event structure semantics for asynchronous multiparty sessions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6614546)