The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - November (1983 vol.9)
pp: 710-722
null Bo-Shoe Chen , Bell Laboratories
ABSTRACT
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.
INDEX TERMS
verification, Distributed systems, events, fopc, liveness, safety, specification
CITATION
null Bo-Shoe Chen, R.T. Yeh, "Formal Specification and Verification of Distributed Systems", IEEE Transactions on Software Engineering, vol.9, no. 6, pp. 710-722, November 1983, doi:10.1109/TSE.1983.235434
31 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool