Topology in process calculus - approximate correctness and infinite evolution of concurrent programs.

Ying, M

Permalink

Closed Access

	Filename	Description	Size
	2008004715OK.pdf		2.01 MB	Adobe PDF	View/Open

Copyright Clearance Process

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Ying, M https://orcid.org/0000-0003-4847-702X	en_US
dc.date.issued	2001	en_US
dc.identifier.citation	2001	en_US
dc.identifier.isbn	978-0-387-95092-1	en_US
dc.identifier.uri	http://hdl.handle.net/10453/7767
dc.publisher	Springer	en_US
dc.title	Topology in process calculus - approximate correctness and infinite evolution of concurrent programs.	en_US
dc.type	Book
utslib.for	080199 Artificial Intelligence and Image Processing not elsewhere classified	en_US
utslib.for	080203 Computational Logic and Formal Languages	en_US
utslib.for	020603 Quantum Information, Computation and Communication	en_US
pubs.embargo.period	Not known	en_US
pubs.organisational-group	/University of Technology Sydney
pubs.organisational-group	/University of Technology Sydney/Faculty of Engineering and Information Technology
pubs.organisational-group	/University of Technology Sydney/Strength - QSI - Centre for Quantum Software and Information
utslib.copyright.status	closed_access

Please use this identifier to cite or link to this item: