J.C.M. Baeten

• Process algebra with timing