Architecture and Specification Style in Formal Descriptions of Distributed Systems', h o c (1988)

by C A Vissers, G Scollo, M v Sinderen
Venue:IFIP WG6.1 Symposium on Protocol Specification, Testing and Verification VIII