A framework for modelling dependable real-time distributed systems

DOI10.1080/00207729708929466MaRDI QIDQ4392342zbMATH OpenOpenAlexFDO

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

Publication date 5 October 1998

Published in International Journal of Systems Science. Principles and Applications of Systems and Integration (Search for Journal in Brave)

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

zbMATH Keywords

\(G\)-netPetri net modelsmart object

Mathematics Subject Classification ID

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)

Recommendations

• scientific article; zbMATH DE number 1696510
• scientific article; zbMATH DE number 1949608
• The theory of timed I/O automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 2088937

Cites work

• Fault-tolerant programs and their reliability

Cited in

(1)

• scientific article; zbMATH DE number 1696510 (Why is no real title available?)

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

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