Dependability modeling and analysis of distributed programs

DOI10.1109/32.286421zbMath0810.68098OpenAlexW2146008251MaRDI QIDQ4302740

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

stochastic Petri netsfile distributionavailability of programs

Mathematics Subject Classification ID

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

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