于能坤;英明生 并发量子程序的可达性和终止性分析。 （英语） Zbl 1364.68145号 Koutny，Maciej（编辑）等，CONCUR 2012–并发理论。第23届国际会议，2012年CONCUR，英国泰恩河畔纽卡斯尔，2012年9月4-7日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-32939-5/pbk）。计算机科学课堂讲稿7454，69-83（2012）。 摘要：我们介绍了并发量子程序的马尔可夫链模型。该模型是Hart、Sharir和Pnueli概率并发程序的量子推广。通过对可达空间、一致重复可达空间和并发量子程序终止的数学结构的分析，得到了它们的一些特征。基于这些特征，给出了计算可达空间和一致重复可达空间以及判定终止的算法。关于整个系列，请参见[兹比尔1246.68044]。 引用于5文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 第68季度85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 81页68 量子计算 关键词：量子计算;并发程序;可达性;终止 PDF格式BibTeX公司 XML格式引用 \textit{N.Yu}和\textit{M.Ying}，Lect。注释计算。科学。7454，69-83（2012；Zbl 1364.68145） 全文： 内政部 arXiv公司