Czasopismo
2000
|
Vol. 43, Nr 1-4
|
153-173
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Warianty tytułu
Języki publikacji
Abstrakty
We propose Timed Cooperating Automata (TC As), an extension of the model Cooperating Automata of Harel and Drusinsky, and we investigate some basic properties. In particular we consider variants of TCAs based on the presence or absence of internal activity, urgency and reactivity, and we compare the expressiveness of these variants with that of the classical model of Timed Automata (TAs) and its extensions with periodic clock constraints and with silent moves. We consider also closure and decidability properties of TCAs and start a study on succinctness of their variants with respect to that of TAs.
Słowa kluczowe
Czasopismo
Rocznik
Tom
Strony
153-173
Opis fizyczny
bibliogr. 13 poz.
Twórcy
autor
autor
- Dipartimento di Matematica e Informatica, Universita di Udine, Via della Scienze 206, 33100 Udine, Italy, lanotte@di.unipi.it
Bibliografia
Typ dokumentu
Bibliografia
Identyfikatory
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS1-0008-0023