Enforcing availability in failure-aware communicating systems

DOI10.1007/978-3-319-39570-8_13MaRDI QIDQ2827467zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Hugo A. López, Flemming Nielson, Hanne Riis Nielson

Publication date 19 October 2016

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

Full work available at URL https://orbit.dtu.dk/en/publications/c915693c-e7ff-4a42-9f81-c6c4060fdf0f

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 6703933
• Applied Choreographies
• A core model for choreographic programming
• Choreographies, logically
• Compositional choreographies

Cites work

• A calculus of quality for robustness against unreliable communication
• A theory of design-by-contract for distributed multiparty interactions
• Deadlock-freedom-by-design, multiparty asynchronous global programming
• scientific article; zbMATH DE number 786489 (Why is no real title available?)
• Linear logic
• Meeting deadlines together
• Multiparty session types meet communicating automata
• Negotiation-based protocols for disseminating information in wireless sensor networks
• On global types and multi-party sessions
• Structured Communication-Centred Programming for Web Services
• Structured Interactional Exceptions in Session Types
• Timed multiparty session types
• Timed runtime monitoring for multiparty conversations
• What's decidable about availability languages?

Cited in

(10)

• A core model for choreographic programming
• A coordination protocol language for power grid operation control
• Certifying choreography compilation
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• A calculus of quality for robustness against unreliable communication
• Functional choreographic programming
• A formal theory of choreographic programming
• Declarative choreographies and liveness
• A dynamic temporal logic for quality of service in choreographic models
• Keep me out of the loop: a more flexible choreographic projection

Describes a project that uses

Uses Software

• TAG
• Scribble
• Chor

This page was built for publication: Enforcing availability in failure-aware communicating systems

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