Process Algebra for Hybrid Systems, (2003)

by J A Bergstra, C A Middelburg
Venue:Computer Science