FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W1872401065> ?p ?o ?g. }

• W1872401065 abstract "Formal methods is an area in theoretical computer science that provides the theories and tools for describing and verifying the correctness of computing systems. Usually, such systems comprise of concurrent and communicating components. The success of this field led to the development of quantum formal methods by transferring the ideas of formal methods to quantum systems. In particular, formal methods provides a systematic methodology for verification of systems. Quantum process calculus is a specialisedfield in quantum formal methods that helps to describe and analyse the behaviour of systems that combine quantum and classical elements.We focus on the theory and applications of quantum process calculus in particular to use Communicating Quantum Processes (CQP), a quantum process calculus, to model and analyse quantum information processing (QIP) systems. Previous work on CQP defined labelled transition relations for CQP in order to describe external interactions and also established the theory of behavioural equivalence in CQP based on probabilistic branchingbisimilarity. This theory formalizes the idea of observational indistinguishability in order to prove or verify the correctness of a system, and an important property of the equivalence is the congruence property. We use the theory to analyse two versions of a quantum error correcting code system. We use the equational theory of CQP from the previous work and define an additional three new axioms in order to analyse quantumprotocols comprising quantum secret-sharing, quantum error correction, remote-CNOT and superdense coding.We have expanded the framework of modelling in CQP from providing an abstract view of the quantum system to describe a realistic QIP system such as linear optical quantum computing (LOQC) and its associated experimental processes. By extending the theory of behavioural equivalence of CQP, we have formally verified two models of an LOQC CNOT gate using CQP. The two models use different measurement semantics in order to work at different levels of abstraction. This flexibility of the process calculus approach allows descriptions from detailed hardware implementations up to more abstractspecifications. The orbital angular momentum (OAM) property of light allows us to perform experiments in studying higher dimensional quantum systems and their applications to quantum technologies. In relation to this work, we have extended CQP to model higher dimensional quantum protocols." @default.
• W1872401065 created "2016-06-24" @default.
• W1872401065 creator A5072019485 @default.
• W1872401065 date "2015-01-01" @default.
• W1872401065 modified "2023-09-25" @default.
• W1872401065 title "Theory and applications of quantum process calculus" @default.
• W1872401065 cites W1490521149 @default.
• W1872401065 cites W1499226144 @default.
• W1872401065 cites W1499934958 @default.
• W1872401065 cites W1500256440 @default.
• W1872401065 cites W1503973138 @default.
• W1872401065 cites W1510854115 @default.
• W1872401065 cites W151443554 @default.
• W1872401065 cites W1514675880 @default.
• W1872401065 cites W1523800107 @default.
• W1872401065 cites W1537615043 @default.
• W1872401065 cites W1587990038 @default.
• W1872401065 cites W1593905218 @default.
• W1872401065 cites W1603799276 @default.
• W1872401065 cites W1631356911 @default.
• W1872401065 cites W1640777325 @default.
• W1872401065 cites W1641416441 @default.
• W1872401065 cites W1802214495 @default.
• W1872401065 cites W1853715199 @default.
• W1872401065 cites W1855444172 @default.
• W1872401065 cites W1862398452 @default.
• W1872401065 cites W1868882999 @default.
• W1872401065 cites W1964244689 @default.
• W1872401065 cites W1965039396 @default.
• W1872401065 cites W1972478730 @default.
• W1872401065 cites W1974158938 @default.
• W1872401065 cites W197484898 @default.
• W1872401065 cites W1978553093 @default.
• W1872401065 cites W1980939032 @default.
• W1872401065 cites W1982390307 @default.
• W1872401065 cites W1984125696 @default.
• W1872401065 cites W1984436207 @default.
• W1872401065 cites W1985161650 @default.
• W1872401065 cites W1986407511 @default.
• W1872401065 cites W1988251240 @default.
• W1872401065 cites W1992002681 @default.
• W1872401065 cites W1993324774 @default.
• W1872401065 cites W1993757606 @default.
• W1872401065 cites W1994460359 @default.
• W1872401065 cites W1998517487 @default.
• W1872401065 cites W1999626800 @default.
• W1872401065 cites W1999702075 @default.
• W1872401065 cites W2000634209 @default.
• W1872401065 cites W2001466659 @default.
• W1872401065 cites W2006226307 @default.
• W1872401065 cites W2008838944 @default.
• W1872401065 cites W2014704465 @default.
• W1872401065 cites W2015449116 @default.
• W1872401065 cites W2017017113 @default.
• W1872401065 cites W2020725861 @default.
• W1872401065 cites W2023532324 @default.
• W1872401065 cites W2025516544 @default.
• W1872401065 cites W2026874448 @default.
• W1872401065 cites W2028815089 @default.
• W1872401065 cites W2035755230 @default.
• W1872401065 cites W2038417345 @default.
• W1872401065 cites W2042912256 @default.
• W1872401065 cites W2049266628 @default.
• W1872401065 cites W2049471987 @default.
• W1872401065 cites W2050334794 @default.
• W1872401065 cites W2050448604 @default.
• W1872401065 cites W2050837474 @default.
• W1872401065 cites W2051051926 @default.
• W1872401065 cites W2052146120 @default.
• W1872401065 cites W2053836944 @default.
• W1872401065 cites W2056361045 @default.
• W1872401065 cites W2057986390 @default.
• W1872401065 cites W2059116080 @default.
• W1872401065 cites W2062854284 @default.
• W1872401065 cites W2064622659 @default.
• W1872401065 cites W2065009440 @default.
• W1872401065 cites W2069546393 @default.
• W1872401065 cites W2069874868 @default.
• W1872401065 cites W2072154359 @default.
• W1872401065 cites W2074117827 @default.
• W1872401065 cites W2076218011 @default.
• W1872401065 cites W2084652510 @default.
• W1872401065 cites W2085036224 @default.
• W1872401065 cites W2089906991 @default.
• W1872401065 cites W2094055587 @default.
• W1872401065 cites W2095082129 @default.
• W1872401065 cites W2097527197 @default.
• W1872401065 cites W2103766856 @default.
• W1872401065 cites W2105859850 @default.
• W1872401065 cites W2110240249 @default.
• W1872401065 cites W2110425399 @default.
• W1872401065 cites W2110586188 @default.
• W1872401065 cites W2112989388 @default.
• W1872401065 cites W2118229393 @default.
• W1872401065 cites W2119494075 @default.
• W1872401065 cites W2120755151 @default.
• W1872401065 cites W2121087903 @default.
• W1872401065 cites W2123549656 @default.
• W1872401065 cites W2128932399 @default.
• W1872401065 cites W2131283815 @default.

• next