Topology in process calculus

Descrição: The purpose of this book is to establish a theory of approximate correctness and infinite evolution of concurrent p... Veja mais