Topology in Process Calculus: Approximate Correctness and Infinite Evolution of Concurrent Programs

Correctness

by Mingsheng Ying

Hardcover

ISBN: 978-0-387-95092-1

ISBN-10: 0-387-95092-3

Springer · 2001