Kees A. Middelburg
-
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra