Timed cooperating automata

Authors:
Ruggero Lanotte;Andrea Maggiolo-Schettini;Adriano Peron
Affiliations:
-;-;-
Venue:
Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Year:
2000

Timed Automata with Monotonic Activities

MFCS '00 Proceedings of the 25th International Symposium on Mathematical Foundations of Computer Science
Concurrency in Timed Automata

FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Concurrency in timed automata

Theoretical Computer Science
Transformations of Timed Cooperating Automata

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
A concurrency-preserving translation from time Petri nets to networks of timed automata

Formal Methods in System Design

Hi-index	0.00