Realizability of high-level message sequence charts: closing the gaps

Markus Lohrey. Realizability of high-level message sequence charts: closing the gaps. Theoretical Computer Science, 309(1-3):529-554, 2003. [doi]

Abstract

Abstract is missing.