A complete axiomatization of timed bisimulation for a class of timed regular behaviours /
Aceto, Luca.
Jeffrey, Alan.
University of Sussex.Computer Science.
Brighton : University of Sussex, Computer Science,
1994.
Cover title.