Formal Specification and Verification of Distributed Systems

DOI10.1109/TSE.1983.235434zbMath0519.68035OpenAlexW2056386379MaRDI QIDQ3668845

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

livenesssafetyevents

Mathematics Subject Classification ID

Theory of operating systems (68N25)

Related Items (1)

Verification of distributed systems with the axiomatic system of MSVL

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