Author: IFIP TC/WG 6.1 International Conference on Formal Description Techniques forDistributed Systems and Communications Protocols (3rd 1990 Madrid, Spain)