The following pages link to (Q4299864):
Displaying 9 items.
- From static to dynamic abstract data-types: An institution transformation (Q1285655) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- The uniqueness condition for the double pushout transformation of algebras (Q2486006) (← links)
- (Q2767170) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- Towards a Double Pushout Transformation of Algebras (Q4923547) (← links)
- A decade of TAPSOFT (Q5096723) (← links)
- Relations as abstract datatypes: An institution to specify relations between algebras (Q5096763) (← links)
