Rule formats for timed processes (2002)

by M Kick
Venue:In Proc. CMCIM’02, volume 68 of ENTCS