Transformations of timed cooperating automata

Fundamenta Informaticae

Volumn 47, Issue 3-4, 2001, Pages 271-282

  Lanotte, Ruggero ^a   Maggiolo Schettini, Andrea ^b   Tini, Simone ^a   Peron, Adriano ^b  

^a UNIVERSITY OF PISA   (Italy)

^b UNIVERSITY OF UDINE   (Italy)

Author keywords

Cooperating Automata; Retiming; Stepwise development; Timed Automata

Indexed keywords

EID: 0035428980     PISSN: 01692968     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (8)