Tight and Loose Semantics for Transformation Systems

Fernando Orejas, Hartmut Ehrig, Elvira Pino. Tight and Loose Semantics for Transformation Systems. In Maura Cerioli, Gianna Reggio, editors, Recent Trends in Algebraic Development Techniques, 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, Selected Papers. Volume 2267 of Lecture Notes in Computer Science, pages 238-255, Springer, 2001. [doi]

Abstract

Abstract is missing.