A brief history of process algebra. (2005)

by J C M Baeten
Venue:Theor. Comput. Sci.,