Author: IFIP TC/WG 6.1 International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols (2nd 1989 Vancouver, B.C.)