Dutch computer scientist and mathematician
Process algebra
J. C. M. Baeten
Process Algebra with Timing