Action Refinement in Process Algebras
Luca Aceto
This book contains some important new developments in the understanding of concurrent processes and as such will be of value to all computer scientists researching into the theory of parallel computation.