Formal Analysis of Quantum Systems using Process Calculus

Details Formal Analysis of Quantum Systems using Process Calculus Formal Analysis of Quantum Systems using Process Calculus

2011-08-02

arxiv.org/abs/1108.0469v1

EPTCS 59, 2011, pp. 104-110

Computer Science

Logic in Computer Science

In Proceedings ICE 2011, arXiv:1108.0144

Scientific paper

10.4204/EPTCS.59.9

Quantum communication and cryptographic protocols are well on the way to becoming an important practical technology. Although a large amount of successful research has been done on proving their correctness, most of this work does not make use of familiar techniques from formal methods, such as formal logics for specification, formal modelling languages, separation of levels of abstraction, and compositional analysis. We argue that these techniques will be necessary for the analysis of large-scale systems that combine quantum and classical components, and summarize the results of initial investigation using behavioural equivalence in process calculus. This paper is a summary of Simon Gay's invited talk at ICE'11.

Affiliated with

Also associated with

No associations

Rating

Formal Analysis of Quantum Systems using Process Calculus 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 Formal Analysis of Quantum Systems using Process Calculus, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formal Analysis of Quantum Systems using Process Calculus will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-508367