Formal Analysis of Quantum Systems using Process Calculus

Computer Science – Logic in Computer Science

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

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.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

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

     

Profile ID: LFWR-SCP-O-508367

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.