Formal Specification and Verification of Distributed Systems

Bo-Shoe Chen, Raymond T. Yeh. Formal Specification and Verification of Distributed Systems. In Proceedings of the 3rd International Conference on Distributed Computing Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982. pages 380-387, IEEE Computer Society, 1982.

Abstract

Abstract is missing.