Declarative choreographies and liveness

DOI10.1007/978-3-030-21759-4_8MaRDI QIDQ6190184zbMATH OpenOpenAlexFDO

Authors Thomas Hildebrandt, Tijs Slaats, Hugo A. López, Søren Debois, 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

choreographiesdeclarative modelsliveness

Mathematics Subject Classification ID

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

Recommendations

• Compositional choreographies
• Deciding choreography realizability
• Realizable temporal logics for web service choreography
• A core model for choreographic programming

Cites work

• Contracts for cross-organizational workflows as timed dynamic condition response graphs
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• Enforcing availability in failure-aware communicating systems
• Fencing off Go: liveness and safety for channel-based programming
• From communicating machines to graphical choreographies
• Honesty by typing
• Multiparty Asynchronous Session Types
• Nested dynamic condition response graphs
• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
• Structured Communication-Centred Programming for Web Services
• Type-checking liveness for collaborative processes with bounded and unbounded recursion

This page was built for publication: Declarative choreographies and liveness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6190184)