Dependability modeling and analysis of distributed programs

DOI10.1109/32.286421MaRDI QIDQ4302740zbMATH OpenOpenAlexFDO

Authors Noé Lopez-Benitez

Publication date 21 August 1994

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

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

zbMATH Keywords

availability of programsfile distributionstochastic Petri nets

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10) Reliability, testing and fault tolerance of networks and computer systems (68M15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed algorithms (68W15)

Recommendations

• scientific article; zbMATH DE number 1304838
• scientific article; zbMATH DE number 5929623
• scientific article; zbMATH DE number 5560393
• Markov reliability models of fault-tolerant distributed computing systems
• Lectures on Concurrency and Petri Nets

Cited in

(8)

• DEPENDABILITY EVALUATION OF CLUSTER-BASED DISTRIBUTED SYSTEMS
• Distributed Lyapunov Functions in Analysis of Graph Models of Software
• Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars
• Stochastic Petri net analysis of a replicated file system
• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting
• scientific article; zbMATH DE number 5059864 (Why is no real title available?)
• Quantitative static analysis of distributed systems
• Performance assessment and reliability analysis of dependable and distributed computing systems based on BDD and recursive merge

This page was built for publication: Dependability modeling and analysis of distributed programs

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