Timed Cooperating Automata

Ruggero Lanotte, Andrea Maggiolo-Schettini, Adriano Peron. Timed Cooperating Automata. Fundamenta Informaticae, 43(1-4):153-173, 2000.

Abstract

Abstract is missing.