Formal Specification and Verification of Distributed Systems
Bo-Shoe Chen, Raymond T. Yeh · IEEE Transactions on Software Engineering · 1983
Computations of distributed systems are extremely difficult to specify and verify using traditional techniques because the systems are inherently concurrent, asynchronous, and nondeterministic. Furthermore, computing nodes in a distributed system may be highly independent of each other, and the entire system may lack an accurate global clock.