Topology in process calculus
Subtitle: approximate correctness and infinite evolution of concurrent programs
By: Mingsheng Ying.
Publisher: Springer
Published: 2001
Place of publication: New York
Language: eng
Number of pages: 220
Subjects: Parallel processing (Electronic computers); Algebraic topology
Notes: Includes bibliographical references (p. [213]-218) and index.