Report an Issue

Topology in process calculus : approximate correctness and infinite evolution of concurrent programs / Mingsheng Ying

Author:: Ying, Mingsheng
Published:: New York : Springer, [2001]
Copyright Date:: ©2001
Physical Description:: viii, 220 pages ; 24 cm

Availability

Browse Nearby on Shelf

Finding items...

Subject(s):

ISBN:

0387950923 (alk. paper)

Bibliography Note:

Includes bibliographical references (pages [213]-218) and index.

View MARC record | catkey: 2183730