The Community for Technology Leaders
RSS Icon
Issue No.06 - November (1983 vol.9)
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
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
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool