Dynamic Systems with Implicit State
- 1 January 1999
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Dynamic Systems with Implicit StatePublished by Springer Nature ,1999
- Algebra transformation systems and their compositionPublished by Springer Nature ,1998
- Catalogues militaires trouvés à HaliarteBulletin de Correspondance Hellénique, 1997
- From static to dynamic abstract data-typesPublished by Springer Nature ,1996
- Concurrent state transformations on abstract data typesPublished by Springer Nature ,1996
- A formal specification of the Steam-Boiler Control problem by algebraic specifications with implicit statePublished by Springer Nature ,1996
- D-oids: a model for dynamic data-typesMathematical Structures in Computer Science, 1995
- An algebraic semantics for the object specification language TROLL lightPublished by Springer Nature ,1995
- The semantics of the C programming languagePublished by Springer Nature ,1993
- Conditional rewriting logic as a unified model of concurrencyTheoretical Computer Science, 1992