A Compositional Semantic Theory for Synchronous Component-based Design.

Barry Norton, Gerald Lttgen, Michael Mendler

Browse the full CONCUR paper archive.