Tight and loose semantics for transformation systems

• Autores: Hartmut Ehrig, Fernando Orejas Valdés , E. Pino
• Localización: Recent trends in algebraic development techniques : 15th International Workshop, WADT 2001, joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001, 2001, ISBN 3-540-43159-4, págs. 238-255
• Idioma: inglés
• Texto completo no disponible (Saber más ...)