Symbolic Bisimulation for Quantum Processes.

Feng, Y Deng, Y Ying, M

Permalink

Closed Access

	Filename	Description	Size
	2014 Symbolic Bisimulation for Quantum Processes.pdf	Published Version	1.26 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	Feng, Y	en_US
dc.contributor.author	Deng, Y	en_US
dc.contributor.author	Ying, M	en_US
dc.date.issued	2014	en_US
dc.identifier.citation	ACM Trans. Comput. Log., 2014, 15 pp. 14 - 14	en_US
dc.identifier.uri	http://hdl.handle.net/10453/64413
dc.relation	http://purl.org/au-research/grants/arc/DP110103473
dc.relation	http://purl.org/au-research/grants/arc/DP130102764
dc.relation.ispartof	ACM Trans. Comput. Log.	en_US
dc.relation.isbasedon	10.1145/2579818	en_US
dc.title	Symbolic Bisimulation for Quantum Processes.	en_US
dc.type	Journal Article
utslib.citation.volume	15	en_US
utslib.for	010503 Mathematical Aspects of Classical Mechanics, Quantum Mechanics and Quantum Information Theory	en_US
utslib.for	0205 Optical Physics	en_US
utslib.for	080203 Computational Logic and Formal Languages	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	2016-11-28T14:01:09.634+1100
pubs.volume	15	en_US

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