Branching pomsets: design, expressiveness and applications to choreographies

DOI10.1016/j.jlamp.2023.100919OpenAlexW4386879846MaRDI QIDQ6151606

José Proença, Luc Edixhoven, Ilaria Castellani, Sung-Shik Jongmans

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

zbMATH Keywords

choreographiesevent structuresrealisabilitypomsets

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Conversation protocols: a formalism for specification and verification of reactive electronic services
• Modeling concurrency with partial orders
• A calculus of communicating systems
• Petri nets, event structures and domains. I
• Parallel product of event structures
• Process algebra with action dependencies
• On series-parallel pomset languages: rationality, context-freeness and automata
• Realizability and verification of MSC graphs
• Contextual Petri nets, asymmetric event structures, and processes
• A core model for choreographic programming
• Realisability of pomsets
• Reversible sessions with flexible choices
• Event structure semantics for multiparty sessions
• Dynamic Causality in Event Structures
• Deadlock-freedom-by-design
• Multiparty Asynchronous Session Types
• Multiparty asynchronous session types
• On Communicating Finite-State Machines
• Algebraic laws for nondeterminism and concurrency
• Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types
• Parameterised Multiparty Session Types

This page was built for publication: Branching pomsets: design, expressiveness and applications to choreographies