This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
November 1983 (vol. 9 no. 6)
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.
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, Nov. 1983, doi:10.1109/TSE.1983.235434
Usage of this product signifies your acceptance of the Terms of Use.