Bisimulation for quantum processes

Details Bisimulation for quantum processes Bisimulation for quantum processes

2010-07-15

arxiv.org/abs/1007.2584v2

Physics

Quantum Physics

All results remain unchanged. Typos corrected and presentation improved according to reviewers' comments. Transition rule for

Scientific paper

In this paper we introduce a novel notion of probabilistic bisimulation for quantum processes and prove that it is congruent with respect to various process algebra combinators including parallel composition even when both classical and quantum communications are present. We also establish some basic algebraic laws for this bisimulation. In particular, we prove uniqueness of the solutions to recursive equations of quantum processes, which provides a powerful proof technique for verifying complex quantum protocols.

Affiliated with

Also associated with

No associations

Rating

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 Bisimulation for quantum processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Bisimulation for quantum processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-599598