scientific article; zbMATH DE number 140260

MaRDI QIDQ4028641zbMATH OpenFDO

Authors Cheng Wu, Gregor von Bochmann

Publication date 28 March 1993

zbMATH Keywords

concurrencydistributed systemsfairnesslivenessLOTOS semanticsLOTOS specification language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Appraising fairness in languages for distributed programming
• Keep it fair: equivalence and composition
• Stepwise development of fair distributed systems
• Relating fairness and timing in process algebras.
• A fair calculus of communicating systems

Cited in

(9)

• Compositional failure-based semantic models for basic LOTOS
• Justness. A completeness criterion for capturing liveness properties (extended abstract)
• An interpreter for LOTOS, a specification language for distributed systems
• Specification and proof of liveness properties under fairness assumptions in B event systems
• Liveness and fairness in process-algebraic verification
• Localized fairness: A rewriting semantics
• Relating fairness and timing in process algebras.
• Choosing fair lotteries to defeat the competition
• Lottery qualities

This page was built for publication:

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