• Publications
  • Influence
Toward a quantum process algebra
TLDR
This paper aims at defining a high level language allowing the description of classical and quantum programming, and their cooperation. Expand
  • 63
  • 4
  • PDF
A Process Algebraic Approach to Concurrent and Distributed Quantum Computation: Operational Semantics
TLDR
We propose a process algebraic notation for quantum programming, which provides a homogeneous style to formal descriptions of concurrent and distributed computations comprising both quantum and classical parts. Expand
  • 56
  • 3
  • PDF
Dynamic Quantum Logic for Quantum Programs
TLDR
We present a way to apply quantum logic to the study of quantum programs. Expand
  • 51
  • 3
  • PDF
Classically controlled quantum computation
TLDR
We introduce a Classically controlled Quantum Turing Machine (CQTM), which is a Turing machine with a quantum tape for acting on quantum data, and a classical transition function for formalised classical control. Expand
  • 26
  • 2
  • PDF
Measurement-Based Quantum Turing Machines and their Universality
Quantum measurement is universal for quantum computation. This universality allows alternative schemes to the traditional three-step organisation of quantum computation: initial state preparation,Expand
  • 28
  • 2
  • PDF
Term Rewriting as a Basis for the Design of a Functional and Parallel Programming Language. A case study: the language FP2
  • P. Jorrand
  • Computer Science
  • Advanced Course: Fundamentals of Artificial…
  • 1 July 1985
TLDR
The semantic elegance and the mathematical properties of applicative and functional programming languages are now widely recognized as relevant and useful qualities for implementing the large and complex algorithms of the kind encountered in artificial intelligence. Expand
  • 14
  • 1
From Quantum Physics to Programming Languages: A Process Algebraic Approach
TLDR
This paper concentrates on a typically “computer science” way to reach a deeper understanding of what it means to compute with quantum resources, namely on the design of programming languages for quantum algorithms and protocols, and on the questions raised by the semantics of such languages. Expand
  • 15
  • 1
Unifying quantum computation with projective measurements only and one-way quantum computation
Quantum measurement is universal for quantum computation. Two models for performing measurement-based quantum computation exist: the one-way quantum computater was introduced by Briegel andExpand
  • 37
  • 1
  • PDF
Separability Of Pure N-Qubit States: Two Characterizations
TLDR
This paper answers two questions: what conditions should the amplitudes in |ψN> satisfy for this state to be separable (i) into a tensor product of n qubit states, where ℋN is the Hilbert space of dimension N=2n, and (ii), into two subsystems states with P=2p and Q=2q such that p+q=n. Expand
  • 5
  • 1
  • PDF
Fundamental Mechanisms for Artificial Intelligence Programming Language - An Introduction
  • P. Jorrand
  • Computer Science
  • Advanced Topics in Artificial Intelligence
  • 28 July 1987
  • 2
  • 1