Open Bisimulation for Quantum Processes

Deng, Y; Feng, Y

Open Bisimulation for Quantum Processes

Deng, Y Feng, Y

Permalink

Open Access

Copyright Clearance Process

Recently Added
In Progress
Open Access

This item is open access.

Adobe PDF

Download Submitted VersionAdobe PDF (294.54 kB)

View statistics

Full metadata record

Field	Value	Language
dc.contributor.author	Deng, Y	en_US
dc.contributor.author	Feng, Y https://orcid.org/0000-0002-3097-3896	en_US
dc.identifier.uri	http://hdl.handle.net/10453/47655
dc.description.abstract	Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between quantum processes. We also give a modal characterisation of open bisimulation, by extending the Hennessy-Milner logic to a quantum setting.	en_US
dc.title	Open Bisimulation for Quantum Processes	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	open_access

Abstract:

Quantum processes describe concurrent communicating systems that may involve quantum information. We propose a notion of open bisimulation for quantum processes and show that it provides both a sound and complete proof methodology for a natural extensional behavioural equivalence between quantum processes. We also give a modal characterisation of open bisimulation, by extending the Hennessy-Milner logic to a quantum setting.

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

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