Event structure semantics for multiparty sessions
From MaRDI portal
Publication:2683035
DOI10.1016/j.jlamp.2022.100844OpenAlexW4310480356MaRDI QIDQ2683035
Paola Giannini, Ilaria Castellani, Mariangiola Dezani-Ciancaglini
Publication date: 3 February 2023
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2201.00221
process calculievent structuresmultiparty session typescommunication-centric systemscommunication-based programming
Related Items
Deconfined Global Types for Asynchronous Sessions, Branching pomsets: design, expressiveness and applications to choreographies
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logical relations and observational equivalences for session-based concurrency
- Models for name-passing processes: Interleaving and causal
- Refinement of actions in event structures and causal trees
- 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
- Concurrent histories: a basis for observing distributed systems
- A distributed operational semantics of CCS based on condition/event systems
- A fully abstract semantics for causality in the \(\pi\)-calculus
- A calculus of communicating systems
- Petri nets, event structures and domains. I
- Non-interleaving semantics for mobile processes
- The connection between an event structure semantics and an operational semantics for TCSP
- Flow models of distributed computations: Three equivalent semantics for CCS
- Parallel product of event structures
- Well-behaved flow event structures for parallel composition and action refinement
- Comparing syntactic and semantic action refinement
- Systolic arrays for the recognition of permutation-invariant segments
- Composition and decomposition of multiparty sessions
- Denotational and operational preciseness of subtyping: a roadmap. Dedicated to Frank de Boer on the occasion of his 60th birthday
- Towards a categorical representation of reversible event structures
- Rigid Families for CCS and the $$\pi $$ -calculus
- 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
- Proof-Carrying Code in a Session-Typed Process Calculus
- Multiparty Asynchronous Session Types
- Rigid Families for the Reversible $$\pi $$ -Calculus
- 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
- A Theory of Communicating Sequential Processes
- Causality and true concurrency: A data-flow analysis of the Pi-Calculus
- 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
- Event Structure Semantics for Nominal Calculi
- Event structure semantics of (controlled) reversible CCS