Publication:2775864

zbMath1004.68088MaRDI QIDQ2775864

Adriano Peron, Andrea Maggiolo-Schettini, Ruggero Lanotte, Simone Tini

Publication date: 2 February 2003

zbMATH Keywords

timed cooperating automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Related Items

A survey of timed automata for the development of real-time systems, Concurrency in timed automata