Issue No. 06 - November (1983 vol. 9)
null Bo-Shoe Chen , Bell Laboratories
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.
verification, Distributed systems, events, fopc, liveness, safety, specification
n. Bo-Shoe Chen and R. Yeh, "Formal Specification and Verification of Distributed Systems," in IEEE Transactions on Software Engineering, vol. 9, no. , pp. 710-722, 1983.