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

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

Abstract

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.

Cite

CITATION STYLE

APA

Lohrey, M. (2003). Realizability of high-level message sequence charts: Closing the gaps. Theoretical Computer Science, 309(1–3), 529–554. https://doi.org/10.1016/j.tcs.2003.08.002

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