Quantum Process Algebra with Priorities - 文章详情页

作者：

Ren, Xingtian (Ren, Xingtian.) | Wang, Yong (Wang, Yong.) | Dai, Guiping (Dai, Guiping.)

收录：

Scopus SCIE

摘要：

One　of　the　most　fascinating　characteristics　is　the　modularity　of　ACP　(Algebra　of　Communicating　Processes),　that　is,　ACP　can　be　extended　easily.　qACP　also　inherents　the　modularity　characteristics　of　ACP.　By　introducing　new　operators　or　new　constants,　qACP　can　have　more　properties.　In　this　paper,　we　extend　the　quantum　process　algebra　qACP　with　priorities　support　in　an　elegant　way.　And　we　obtain　the　soundness　and　completeness　of　the　extension.

关键词：

Quantum computing Verification Process algebra Quantum processes

作者机构：

[ 1 ] [Ren, Xingtian]Beijing Univ Technol, Fac Informat Technol, Coll Comp Sci & Technol, Beijing 100124, Peoples R China
[ 2 ] [Wang, Yong]Beijing Univ Technol, Fac Informat Technol, Coll Comp Sci & Technol, Beijing 100124, Peoples R China
[ 3 ] [Dai, Guiping]Beijing Univ Technol, Coll Urban Transport, Beijing 100124, Peoples R China

通讯作者信息：

[Ren, Xingtian]Beijing Univ Technol, Fac Informat Technol, Coll Comp Sci & Technol, Beijing 100124, Peoples R China

电子邮件地址：

renxt@bjut.edu.cn |
daigping@bjut.edu.cn

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至