Formal Verification of Arbitrary Network Topologies (Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99), 1999)

(untitled) - Roscoe, A; Creese, S