Jos C. M. Baeten
-
A brief history of process algebra
Theoretical Computer Science - Process algebra