迈向量子进程代数

量子计算在量子世界中运行。为使其结果以任何方式有用于世，存在着由经典世界控制的协作与通信的内在必要性。因此，对利用量子原理的算法的完整形式化描述必须同时考虑量子与经典计算组件，并将它们装配起来以通信与协作。本文旨在定义一种允许描述经典与量子编程及其协作的高级语言。由于进程代数提供了对协作计算建模的框架且具备良定义的语义，其已被选作该语言的基础。本文从经典进程代数出发，阐释如何改造它以纳入量子计算。结果是一个带有其操作语义的量子进程代数，可用于在经典语境中完整描述量子算法。