Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |

bollig:hal-00879353

B. Bollig, A. Cyriac, L. Hélouet, A. Kara, T. Schwentick. Dynamic Communicating Automata and Branching High-Level MSCs. In LATA 2013, Adrian Horia Dediu, Carlos Mart\'\in-Vide, Bianca Truthe (eds.), LNCS, Volume 7810, Pages 177-189, bilbao, Spain, April 2013.

Download [help]

Download Hal paper: Hal : Hyper Archive en ligne

Download paper: Adobe portable document (pdf) pdf

Copyright notice: This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

{We study dynamic communicating automata (DCA), an extension of classical communicating finite-state machines that allows for dynamic creation of processes. The behavior of a DCA can be described as a set of message sequence charts (MSCs). While DCA serve as a model of an implementation, we propose branching high-level MSCs (bHMSCs) on the speci fication side. Our focus is on the implementability problem: given a bHMSC, can one construct an equivalent DCA? As this problem is undecidable, we introduce the notion of executability, a decidable necessary criterion for implementability. We show that executability of bHMSCs is EXPTIME-complete. We then identify a class of bHMSCs for which executability eff ectively implies implementability.}

Contact

Loic Hélouet http://people.irisa.fr/Loic.Helouet/

BibTex Reference

@InProceedings{bollig:hal-00879353,
   Author = {Bollig, B. and Cyriac, A. and Hélouet, L. and Kara, A. and Schwentick, T.},
   Title = {{Dynamic Communicating Automata and Branching High-Level MSCs}},
   BookTitle = {{LATA 2013}},
   editor = {Horia Dediu, Adrian and Mart\'\in-Vide, Carlos and Truthe, Bianca},
   Volume = {7810},
   Pages = {177--189},
   Series = {LNCS},
   Publisher = {Springer},
   Address = {bilbao, Spain},
   Month = {April},
   Year = {2013}
}

EndNote Reference [help]

Get EndNote Reference (.ref)