Bialgebraic modelling of timed processes (2002)

by M Kick
Venue:In Proc. ICALP’02, volume 2380 of LNCS