scientific article; zbMATH DE number 1059323

MaRDI QIDQ4353630zbMATH OpenFDO

Authors Wolfgang Reisig

Publication date 24 March 1998

zbMATH Keywords

distributed algorithmstemporal logic

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Another glance at the Alpern-Schneider characterization of safety and liveness in concurrent executions
• Properties of concurrent programs
• Local safety and local liveness for distributed systems
• Safety, liveness and fairness in temporal logic

Cited in

(5)

• 2-branes with Arnold-Beltrami fluxes from minimal D=7 supergravity
• Progress under bounded fairness
• Local safety and local liveness for distributed systems
• Modelling and verification of Distributed Algorithms
• ESTL: A Temporal Logic for Events and States

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 Q4353630)