Jan Joris Vereijken
Amsterdam, The NetherLands
Process algebra
Concrete process algebra
Handbook of logic in computer science (vol. 4)