Branching pomsets: design, expressiveness and applications to choreographies
From MaRDI portal
Publication:6151606
DOI10.1016/J.JLAMP.2023.100919OpenAlexW4386879846MaRDI QIDQ6151606FDOQ6151606
Authors: Luc Edixhoven, Sung-Shik Jongmans, José Proença, Ilaria Castellani 
Publication date: 12 February 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlamp.2023.100919
Cites Work
- Petri nets, event structures and domains. I
- Title not available (Why is that?)
- Algebraic laws for nondeterminism and concurrency
- Modeling concurrency with partial orders
- Multiparty asynchronous session types
- On Communicating Finite-State Machines
- A calculus of communicating systems
- Realisability of pomsets
- Contextual Petri nets, asymmetric event structures, and processes
- The \(\pi\)-calculus: A theory of mobile processes
- Multiparty Asynchronous Session Types
- Parallel product of event structures
- Realizability and verification of MSC graphs
- Deadlock-freedom-by-design, multiparty asynchronous global programming
- Title not available (Why is that?)
- Conversation protocols: a formalism for specification and verification of reactive electronic services
- Event structure semantics for multiparty sessions
- Dynamic Causality in Event Structures
- Process algebra with action dependencies
- Parameterised multiparty session types
- A core model for choreographic programming
- On series-parallel pomset languages: rationality, context-freeness and automata
- Reversible sessions with flexible choices
- Title not available (Why is that?)
- Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
This page was built for publication: Branching pomsets: design, expressiveness and applications to choreographies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6151606)
