Branching pomsets: design, expressiveness and applications to choreographies

DOI10.1016/J.JLAMP.2023.100919MaRDI QIDQ6151606zbMATH OpenOpenAlexFDO

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)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1016/j.jlamp.2023.100919

zbMATH Keywords

choreographiesevent structurespomsetsrealisability

Mathematics Subject Classification ID

Computer science (68-XX)

Cites work

• A calculus of communicating systems
• A core model for choreographic programming
• Algebraic laws for nondeterminism and concurrency
• Contextual Petri nets, asymmetric event structures, and processes
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Event structure semantics for multiparty sessions
• Exploring type-level bisimilarity towards more expressive multiparty session types
• scientific article; zbMATH DE number 3821120 (Why is no real title available?)
• scientific article; zbMATH DE number 3995041 (Why is no real title available?)
• Modeling concurrency with partial orders
• Multiparty asynchronous session types
• Multiparty Asynchronous Session Types
• On Communicating Finite-State Machines
• On series-parallel pomset languages: rationality, context-freeness and automata
• Parallel product of event structures
• Parameterised multiparty session types
• Petri nets, event structures and domains. I
• Process algebra with action dependencies
• Realisability of pomsets
• Realizability and verification of MSC graphs
• Reversible sessions with flexible choices
• The -calculus: A theory of mobile processes

Cited in

(1)

• Denotational semantics for probabilistic and concurrent programs

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)