Component-based semantics

Peter D. Mosses. Component-based semantics. In SAVCBS'09, Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems, August 25, 2009, Amsterdam, The Netherlands. pages 3-10, ACM, 2009. [doi]

Abstract

Abstract is missing.