Declarative choreographies and liveness

DOI10.1007/978-3-030-21759-4_8OpenAlexW2948961668MaRDI QIDQ6190184

Hugo A. López, Søren Debois, Tijs Slaats, Thomas Troels Hildebrandt, Marco Carbone

Publication date: 6 February 2024

Published in: Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-21759-4_8

zbMATH Keywords

livenesschoreographiesdeclarative models

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
• From Communicating Machines to Graphical Choreographies
• Enforcing Availability in Failure-Aware Communicating Systems
• Nested Dynamic Condition Response Graphs
• Deadlock-freedom-by-design
• Honesty by Typing
• Multiparty Asynchronous Session Types
• Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
• Fencing off go: liveness and safety for channel-based programming
• Structured Communication-Centred Programming for Web Services

This page was built for publication: Declarative choreographies and liveness