An Introduction to System Semantics

Raymond T. Boute. An Introduction to System Semantics. In Albert T. Kündig, Richard E. Bührer, Jacques Dähler, editors, Embedded Systems: New Approaches to Their Formal Description and Design, An Advances Course, Zürich, Switzerland, March 5-7, 1986. Volume 284 of Lecture Notes in Computer Science, pages 91-107, Springer, 1986.

Abstract

Abstract is missing.