Transformations of Timed Cooperating Automata

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

Abstrakty

EN

The paper pursues the investigation of Timed Cooperating Automata (TCAs) by studying transformations which are suggested as means for stepwise TCA construction.

Słowa kluczowe

EN

Timed Automata; cooperating automata; stepwise development; retiming

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2001
• Tom: Vol. 47, nr 3,4
• Strony: 271--282
• Opis fizyczny: bibliogr. 8 poz.

Twórcy

autor

Lanotte R.

autor

Maggiolo-Schettini A.

autor

Tini S.

autor

Peron A.

• Dipartimento do Informatica, University of Pisa, Corso Italia 40, 56125 Pisa, Italy,