Open Bisimulation for Quantum Processes

Details Open Bisimulation for Quantum Processes Open Bisimulation for Quantum Processes

2012-01-02

arxiv.org/abs/1201.0416v1

Computer Science

Logic in Computer Science

25 pages. Comments are welcome

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Open Bisimulation for Quantum Processes does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Open Bisimulation for Quantum Processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Open Bisimulation for Quantum Processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-55251