Detecting Isomorphisms of Modular Specifications with Diagrams

Catherine Oriat. Detecting Isomorphisms of Modular Specifications with Diagrams. In Vangalur S. Alagar, Maurice Nivat, editors, Algebraic Methodology and Software Technology, 4th International Conference, AMAST 95, Montreal, Canada, July 3-7, 1995, Proceedings. Volume 936 of Lecture Notes in Computer Science, pages 184-198, Springer, 1995.

Abstract

Abstract is missing.