Compiling process algebraic specifications into timed automata.

Carl K. Chang, Yi-Te Tseng, Ugo A. Buy

Browse the full COMPSAC paper archive.