Author: IFIP TC 6/WG 6.1 International Conference on Formal Description Techniques for DistributedSystems and Communications Protocols (5th 1992 Perros-Guirec, France)