Action Transducers and Timed Automata.

Frits W. Vaandrager, Nancy A. Lynch

Browse the full CONCUR paper archive.