Transformations of timed cooperating automata

MaRDI QIDQ2775864zbMATH OpenFDO

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

Publication date 2 February 2003

Published in Fundamenta Informaticae (Search for Journal in Brave)

zbMATH Keywords

timed cooperating automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(2)

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

This page was built for publication: Transformations of timed cooperating automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2775864)