A Compositional Semantic Theory for Synchronous Component-based Design

Barry Norton, Gerald Lüttgen, Michael Mendler. A Compositional Semantic Theory for Synchronous Component-based Design. In Roberto M. Amadio, Denis Lugiez, editors, CONCUR 2003 - Concurrency Theory, 14th International Conference, Marseille, France, September 3-5, 2003, Proceedings. Volume 2761 of Lecture Notes in Computer Science, pages 453-467, Springer, 2003. [doi]

Authors

Barry Norton

This author has not been identified. Look up 'Barry Norton' in Google

Gerald Lüttgen

This author has not been identified. Look up 'Gerald Lüttgen' in Google

Michael Mendler

This author has not been identified. Look up 'Michael Mendler' in Google