A framework for modelling dependable real-time distributed systems

DOI10.1080/00207729708929466zbMath0897.68068OpenAlexW2001616380MaRDI QIDQ4392342

Daniel Mossé, Shi-Kuo Chang, Yeong-Jia Chen

Publication date: 5 October 1998

Published in: International Journal of Systems Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207729708929466

zbMATH Keywords

Petri net model\(G\)-netsmart object

Mathematics Subject Classification ID

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)

Cites Work

• Fault-tolerant programs and their reliability

This page was built for publication: A framework for modelling dependable real-time distributed systems