C.A. Middelburg

• Process algebra with timing