A class of inherently fault tolerant distributed programs

DOI10.1109/32.6188MaRDI QIDQ3809244zbMATH OpenOpenAlexFDO

Authors Farokh Bastani, Ing-Ray Chen, I-Ling Yen

Publication date 1988

Published in IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1109/32.6188

zbMATH Keywords

correctness proofsdistributed controlinherently fault tolerant programsprocess-control systemsrelaxation algorithmsresilient softwareself-stabilizing systemstermination/convergence

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99) Linear systems in control theory (93C05)

Recommendations

• scientific article; zbMATH DE number 3978365
• Intelligent agents in distributed fault tolerant systems
• Mechanisms of operating systems supporting fault-tolerance of multicomputer control systems
• scientific article; zbMATH DE number 3846851
• scientific article; zbMATH DE number 98413

Cited in

(4)

• Stabilization and pseudo-stabilization
• Bounded self-stabilizing Petri nets
• Developing fault-tolerant distributed loops
• scientific article; zbMATH DE number 4016721 (Why is no real title available?)

This page was built for publication: A class of inherently fault tolerant distributed programs

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