Proceedings of the Ifip Tc6/Wg6.1 6Th International Conference on Formal Description Techniques-Forte'93, Date: 26 October 1993 through 29 October 1993, Location: Boston, MA, USA, Patrocinadores: IFIP WG6.1;AT&T Bell Laboratories;Bellcore;Bell Northern Research;National Science Foundation;et al