English
Related papers

Related papers: Toward a Quantum Process Algebra

200 papers

Quantum computation is a promising emerging technology which, compared to conventional computation, allows for substantial speed-ups e.g. for integer factorization or database search. However, since physical realizations of quantum…

Quantum Physics · Physics 2018-06-07 Alwin Zulehner , Robert Wille

The rapid progress of computer science has been accompanied by a corresponding evolution of computation, from classical computation to quantum computation. As quantum computing is on its way to becoming an established discipline of…

Other Computer Science · Computer Science 2010-03-10 D. K. Ningtyas , A. B. Mutiara

Recent advancements in quantum computing are leading to an era of practical utility, enabling the tackling of increasingly complex problems. The goal of this era is to leverage quantum computing to solve real-world problems in fields such…

Quantum Physics · Physics 2025-05-07 Eneko Osaba , Esther Villar-Rodriguez , Izaskun Oregi

Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP,$\pi_{tc}$ to $\pi$ calculus, APPTC to probabilistic process algebra.In this book, we utilize truly…

Logic in Computer Science · Computer Science 2021-07-29 Yong Wang

The act of describing how a physical process changes a system is the basis for understanding observed phenomena. For quantum-mechanical processes in particular, the affect of processes on quantum states profoundly advances our knowledge of…

Quantum Physics · Physics 2017-10-20 Jen-Hsiang Hsieh , Shih-Hsuan Chen , Che-Ming Li

This article presents a review of quantum computing research works for Natural Language Processing (NLP). Their goal is to improve the performance of current models, and to provide a better representation of several linguistic phenomena,…

Computation and Language · Computer Science 2024-06-25 Sabrina Campano , Tahar Nabil , Meryl Bothua

A new model of quantum computing has recently been proposed which, in analogy with a classical lambda-calculus, exploits quantum processes which operate on other quantum processes. One such quantum meta-operator takes N unitary…

Quantum Physics · Physics 2016-06-17 Timothy Rambo , Joseph Altepeter , Giacomo Mauro D'Ariano , Prem Kumar

Quantum programs today are written at a low level of abstraction - quantum circuits akin to assembly languages - and the unitary parts of even advanced quantum programming languages essentially function as circuit description languages.…

Programming Languages · Computer Science 2025-12-02 Chris Heunen , Louis Lemonnier , Christopher McNally , Alex Rice

Quantum computing comes with the potential to push computational boundaries in various domains including, e.g., cryptography, simulation, optimization, and machine learning. Exploiting the principles of quantum mechanics, new algorithms can…

Systems and Control · Electrical Eng. & Systems 2025-12-23 Julian Berberich , Robert L. Kosut , Thomas Schulte-Herbrüggen

By leveraging quantum-mechanical properties like superposition, entanglement, and interference, quantum computing (QC) offers promising solutions for problems that classical computing has not been able to solve efficiently, such as drug…

Human-Computer Interaction · Computer Science 2025-02-14 Hyeok Kim , Mingyoung J. Jeng , Kaitlin N. Smith

Quantum computing provides computational advantages in various domains. To benefit from these advantages complex hybrid quantum applications must be built, which comprise both quantum and classical programs. Engineering these applications…

Current technologies in quantum-based communications bring a new integration of quantum data with classical data for hybrid processing. However, the frameworks of these technologies are restricted to a single classical or quantum task,…

Quantum Physics · Physics 2022-09-02 Quoc Hoan Tran , Sanjib Ghosh , Kohei Nakajima

Truly concurrent process algebras are generalizations to the traditional process algebras for true concurrency, CTC to CCS, APTC to ACP, $\pi_{tc}$ to $\pi$ calculus, APPTC to probabilistic process algebra, APTC with localities to process…

Logic in Computer Science · Computer Science 2021-10-26 Yong Wang

While recent progress in quantum hardware open the door for significant speedup in certain key areas (cryptography, biology, chemistry, optimization, machine learning, etc), quantum algorithms are still hard to implement right, and the…

Programming Languages · Computer Science 2022-04-11 Christophe Chareton , Sébastien Bardin , Dongho Lee , Benoît Valiron , Renaud Vilmart , Zhaowei Xu

We propose a new application of quantum computing to the field of natural language processing. Ongoing work in this field attempts to incorporate grammatical structure into algorithms that compute meaning. In (Coecke, Sadrzadeh and Clark,…

Computation and Language · Computer Science 2016-08-05 William Zeng , Bob Coecke

Quantum machine learning has emerged as a promising application domain for near-term quantum hardware, particularly through hybrid quantum-classical models that leverage both classical and quantum processing. Although numerous hybrid…

Quantum Physics · Physics 2026-01-09 Dominik Freinberger , Philipp Moser

Quantum information processing is the use of inherently quantum mechanical phenomena to perform information processing tasks that cannot be achieved using conventional classical information technologies. One famous example is quantum…

Quantum Physics · Physics 2007-05-23 J. A. Jones

Quantum Computing is a new and exciting field at the intersection of mathematics, computer science and physics. It concerns a utilization of quantum mechanics to improve the efficiency of computation. Here we present a gentle introduction…

Quantum Physics · Physics 2007-08-03 Noson S. Yanofsky

Studies of issues related to computability and computational complexity involve the use of a model of computation. Pivotal to such a model are the computational processes considered. Processes of this kind can be described using an…

Logic in Computer Science · Computer Science 2024-06-24 C. A. Middelburg

Quantum computing exhibits the unique capability to natively and efficiently encode various natural phenomena, promising theoretical speedups of several orders of magnitude. However, not all computational tasks can be efficiently executed…

Software Engineering · Computer Science 2025-04-28 Vincenzo De Maio , Ivona Brandic , Ewa Deelman , Jürgen Cito