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

DSpace/Manakin Repository

Search OPUS


Advanced Search

Browse

My Account

Show simple item record

dc.contributor.author Ying, M
dc.date.accessioned 2010-05-28T09:36:40Z
dc.date.issued 2001-01
dc.identifier.citation 2001
dc.identifier.isbn 9780387950921
dc.identifier.other A1UNSUBMIT en_US
dc.identifier.uri http://hdl.handle.net/10453/7767
dc.publisher Springer
dc.title Topology in process calculus : approximate correctness and infinite evolution of concurrent programs
dc.type Book
dc.journal.number en_US
dc.publocation New York en_US
dc.identifier.startpage en_US
dc.identifier.endpage en_US
dc.cauo.name FEIT.School of Systems, Management and Leadership en_US
dc.conference Verified OK en_US
dc.for 080199 Artificial Intelligence and Image Processing Not Elsewhere Classified
dc.for 080203 Computational Logic and Formal Languages
dc.for 020603 Quantum Information, Computation and Communication
dc.personcode 103396
dc.percentage 50 en_US
dc.classification.name Computational Logic and Formal Languages en_US
dc.classification.type FOR-08 en_US
dc.edition en_US
dc.custom en_US
dc.date.activity en_US
dc.location.activity en_US
dc.description.keywords en_US
pubs.embargo.period Not known
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 - Quantum Computation and Intelligent Systems
utslib.copyright.status Closed Access
utslib.copyright.date 2015-04-15 12:17:09.805752+10
utslib.collection.history Uncategorised (ID: 363)
utslib.collection.history Closed (ID: 3)


Files in this item

This item appears in the following Collection(s)

Show simple item record