Timed Cooperating Automata

• Autorzy: Lanotte R. , Maggiolo-Schettini A.
• Języki publikacji: EN

Abstrakty

EN

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

EN

Timed Automata; expressiveness; closure properties; succinctness

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2000
• Tom: Vol. 43, Nr 1-4
• Strony: 153--173
• Opis fizyczny: bibliogr. 13 poz.

Twórcy

autor

Lanotte R.

autor

Maggiolo-Schettini A.

• Dipartimento di Matematica e Informatica, Universita di Udine, Via della Scienze 206, 33100 Udine, Italy,