MPG.eBooks - Search Results - (("composer" or "composed") or ("compose" OR "composite"))

Published 1994

Springer Berlin Heidelberg

Table of Contents: “... workbench — A tool for the ?-Calculus -- Compositional semantics of Esterel and verification...”