scientific article; zbMATH DE number 604886
From MaRDI portal
Publication:4299864
zbMATH Open0810.68097MaRDI QIDQ4299864FDOQ4299864
Fernando Orejas, Hartmut Ehrig
Publication date: 18 April 1995
Title of this publication is not available (Why is that?)
Cited In (12)
- D-oids: a model for dynamic data-types
- Towards a Double Pushout Transformation of Algebras
- Specification of abstract dynamic-data types: A temporal logic approach
- Relations as abstract datatypes: An institution to specify relations between algebras
- Title not available (Why is that?)
- From static to dynamic abstract data-types: An institution transformation
- Title not available (Why is that?)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques
- A decade of TAPSOFT
- The uniqueness condition for the double pushout transformation of algebras
- Swinging types=functions+relations+transition systems
- Title not available (Why is that?)
Recommendations
- Title not available (Why is that?) π π
- From static to dynamic abstract data-types: An institution transformation π π
- Title not available (Why is that?) π π
- Specification of abstract dynamic-data types: A temporal logic approach π π
- Transition specifications for dynamic abstract data types π π
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4299864)