Ying Mingsheng:
Topology In Process Calculus

Approximate Correctness And Infinite Evolution Of Concurrent Programs

Springer-Verlag New York Inc. (United States), 2001
Hardback, 228 pages
Size: 234x156 mm
ISBN: 9780387950921
ISBN-10: 0387950923

Our price: £56.00

Usually ships within 1 week.

Will be shipped from: United Kingdom
 Add to Shopping Basket 

Topology In Process Calculus

Presents concepts and tools for the understanding and analysis of approximate correctness of programs in concurrent systems. This book is useful to professionals, researchers and graduate students in theoretical computer science.

Related links:

Mingsheng Ying
Mathematics
Mathematics and science
Springer-Verlag New York Inc.

More information from Wikipedia:

Mingsheng Ying
© 2006-2008 Eruditor Ltd and its partners

Search

Whole catalogue
Western music: periods & styles

Advanced Search

Browse

Authors’ Name Index

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z