Bisimulation For Quantum Processes

Feng, Y; Duan, R; Ying, M

Bisimulation For Quantum Processes

Feng, Y Duan, R Ying, M

Permalink

Publisher:: Assoc Computing Machinery
Publication Type:: Journal Article
Citation:: ACM Transactions pn Programming Language and Systems (TOPLAS), 2012, 34 (4), pp. 1 - 43
Issue Date:: 2012-01

Closed Access

	Filename	Description	Size
	2012001418OK.pdf		709.73 kB	Adobe PDF	View/Open

Copyright Clearance Process

Recently Added
In Progress
Closed Access

This item is closed access and not available.

Full metadata record

Field	Value	Language
dc.contributor.author	Feng, Y	en_US
dc.contributor.author	Duan, R	en_US
dc.contributor.author	Ying, M	en_US
dc.date.issued	2012-01	en_US
dc.identifier.citation	ACM Transactions pn Programming Language and Systems (TOPLAS), 2012, 34 (4), pp. 1 - 43	en_US
dc.identifier.issn	0164-0925	en_US
dc.identifier.uri	http://hdl.handle.net/10453/22852
dc.description.abstract	Quantum cryptographic systems have been commercially available, with a striking advantage over classical systems that their security and ability to detect the presence of eavesdropping are provable based on the principles of quantum mechanics. On the oth	en_US
dc.publisher	Assoc Computing Machinery	en_US
dc.relation.ispartof	ACM Transactions pn Programming Language and Systems (TOPLAS)	en_US
dc.relation.isbasedon	10.1145/2400676.2400680	en_US
dc.relation.isreplacedby	10453/122435
dc.relation.isreplacedby	http://hdl.handle.net/10453/122435
dc.subject.classification	Software Engineering	en_US
dc.title	Bisimulation For Quantum Processes	en_US
dc.type	Journal Article
utslib.citation.volume	4	en_US
utslib.citation.volume	34	en_US
utslib.for	0802 Computation Theory and Mathematics	en_US
utslib.for	0803 Computer Software	en_US
utslib.for	0806 Information Systems	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
pubs.declined	1970-01-01T00:00:00.0+1000
pubs.consider-herdc	true	en_US
pubs.merge-to	10453/122435
pubs.merge-to	http://hdl.handle.net/10453/122435
pubs.deleted	1970-01-01T00:00:00.0+1000
pubs.issue	4	en_US
pubs.volume	34	en_US

Abstract:

Quantum cryptographic systems have been commercially available, with a striking advantage over classical systems that their security and ability to detect the presence of eavesdropping are provable based on the principles of quantum mechanics. On the oth

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

http://hdl.handle.net/10453/22852