Realizability Criteria for Compositional MSC

Arjan J. Mooij, Judi Romijn, Wieger Wesselink. Realizability Criteria for Compositional MSC. In Michael Johnson, Varmo Vene, editors, Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Volume 4019 of Lecture Notes in Computer Science, pages 248-262, Springer, 2006. [doi]

Abstract

Abstract is missing.