Algebra transformation systems and their composition
- 1 January 1998
- book chapter
- Published by Springer Nature
- p. 107-122
- https://doi.org/10.1007/bfb0053586
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- From static to dynamic abstract data-typesPublished by Springer Nature ,1996
- Behavioural satisfaction and equivalence in concrete model categoriesPublished by Springer Nature ,1996
- D-oids: a model for dynamic data-typesMathematical Structures in Computer Science, 1995
- Categorical concepts for parameterized partial specificationsMathematical Structures in Computer Science, 1995
- Models for concurrencyPublished by Oxford University Press (OUP) ,1995
- Temporal theories as modularisation units for concurrent system specificationFormal Aspects of Computing, 1992
- Institutions: abstract model theory for specification and programmingJournal of the ACM, 1992
- Initial Computability, Algebraic Specifications, and Partial AlgebrasPublished by Walter de Gruyter GmbH ,1987
- Fundamentals of Algebraic Specification 1Published by Springer Nature ,1985