Topology in Process Calculus

Communication and concurrency are essential in understanding complex dynamic systems, there have been many theories to deal with them. The goal of this book is ... » 

Communication and concurrency are essential in understanding complex dynamic systems, there have been many theories to deal with them. The goal of this book is to provide concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. «