Proceedings of the IFIP TC/WG 6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols FORTE '90 ; Madrid, Spain, 5 - 8 November, 1990 - Quemada, Juan (Formal description techniques, 1991)