Frits W. Vaandrager
-
Imperative objects as mobile processes
Science of Computer Programming
A brief history of process algebra
Theoretical Computer Science - Process algebra