Topology in Process Calculus
Subtitle: Approximate Correctness and Infinite Evolution of Concurrent Programs
Publisher: Springer New York
Published: 2012
Language: eng
ISBN-13: 9781461265221
Subjects: Algebraic topology; Parallel processing (electronic computers)