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
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