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

Citations of this article
Mendeley users who have this article in their library.
Get full text


We study the notion of safe realizability for high-level message sequence charts (HMSCs) (Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP 2001), Crete (Greece), Lecture Notes in Computer Science, Vol. 2076, Springer, Berlin, 2001, pp. 797-808). We show that safe realizability is EXPSPACE-complete for bounded HMSCs but undecidable for the class of all HMSCs. This solves two open problems from Alur et al. Moreover we prove that safe realizability is also EXPSPACE-complete for the larger class of globally-cooperative HMSCs. © 2003 Elsevier B.V. All rights reserved.




Lohrey, M. (2003). Realizability of high-level message sequence charts: Closing the gaps. Theoretical Computer Science, 309(1–3), 529–554.

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free