Formal Specification and Verification of Distributed Systems

DOI10.1109/TSE.1983.235434zbMATH Open0519.68035OpenAlexW2056386379MaRDI QIDQ3668845FDOQ3668845

Authors Bo-Shoe Chen, Raymond T. Yeh 

Publication date 1983

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

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

zbMATH Keywords

eventssafetyliveness

Mathematics Subject Classification ID

Theory of operating systems (68N25)

(1)

• Verification of distributed systems with the axiomatic system of MSVL

This page was built for publication: Formal Specification and Verification of Distributed Systems

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