A brief history of process algebra (2005)

by Jos C M Baeten
Venue:Theoretical Computer Science