A Semantic Model for Dynamic Systems

Publisher Website

1 January 1993

book chapter
Published by Springer Nature

p. 63-83
https://doi.org/10.1007/978-1-4471-3554-8_5

Abstract

No abstract available

Keywords

This publication has 2 references indexed in Scilit:

Inductive definitions, semantics and abstract interpretations
Published by Association for Computing Machinery (ACM) ,1992
Algebraic Specification Techniques in Object Oriented Programming Environments
Published by Springer Nature ,1991