scientific article; zbMATH DE number 10083

zbMath0744.68099MaRDI QIDQ4713364

Hartmut Ehrig, Fernando Orejas, Michael Baldamus

Publication date: 25 June 1992

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

extensionalgebraic specificationamalgamationspecification logiccategory of generalized morphisms

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

On the Specification and Verification of Model Transformations ⋮ Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components ⋮ Formal relationship between graph grammars and Petri nets