Computer Science – Logic in Computer Science
Scientific paper
2011-08-02
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.
Davidson Timothy A. S.
Gay Simon J.
Nagarajan Rajagopal
No associations
LandOfFree
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.
Profile ID: LFWR-SCP-O-508367