Gregor von Bochmann;Daniel Ouimet;Gerald W. Neufeld
Affiliations:
-;-;-
Venue:
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III