Process algebra for hybrid systems. (2005)

by J Bergstra, C Middelburg
Venue:Theoretical Computer Science