The Community for Technology Leaders
Green Image
Issue No. 06 - November (1983 vol. 9)
ISSN: 0098-5589
pp: 710-722
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.
94 ms
(Ver 3.3 (11022016))