Formal Verification of Arbitrary Network Topologies
A. W. Roscoe and S.J. Creese
Book Title
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99)
Publisher
CSREA Press
Volume
II
Year
1999