Bialgebraic modelling of timed processes (2002)

by M Kick
Venue:International Colloquium on Automata, Languages and Programming, number 2380 in Lect. Notes Comp. Sci