Affiliations: Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy. E_mail: lanotte@di.unipi.it E_mail: maggiolo@di.unipi.it | Dipartimento di Matematica e Informatica, Università, di Udine, Via delle Scienze 206, 33100 Udine, Italy. E_mail: peron@dimi.uniud.it
Note: [] Address for correspondence: Dipartimento di Informatica, Università di Pisa, Corso Italia 40, 56125 Pisa, Italy
Note: [] Address for correspondence: Dipartimento di Matematica e Informatica, Università di Udine, Via delle Scienze 206, 33100 Udine, Italy
Abstract: We propose Timed Cooperating Automata (TCAs), 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.
