probabilistic bisimulations for quantum processes

CORC > 软件研究所 > 软件所图书馆 > 期刊论文

	probabilistic bisimulations for quantum processes
	Feng Yuan ; Duan Runyao ; Ji Zhengfeng ; Ying Mingsheng
刊名	INFORMATION AND COMPUTATION
	2007
卷号	205 期号:11 页码:1608-1639
关键词	quantum process probabilistic bisimulation congruence
ISSN号	0890-5401
学科主题	Computer Science, Theory & Methods; Mathematics, Applied
收录类别	ACM ; EI ; SCI ; SCIENCEDIRECT
语种	英语
WOS记录号	WOS:000251429000002
公开日期	2011-07-01
附注	Modeling and reasoning about concurrent quantum systems is very important for both distributed quantum computing and quantum protocol verification. As a consequence, a general framework formally describing communication and concurrency in comp
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/11212]
专题	软件研究所_软件所图书馆_期刊论文
推荐引用方式 GB/T 7714	Feng Yuan,Duan Runyao,Ji Zhengfeng,et al. probabilistic bisimulations for quantum processes[J]. INFORMATION AND COMPUTATION,2007,205(11):1608-1639.
APA	Feng Yuan,Duan Runyao,Ji Zhengfeng,&Ying Mingsheng.(2007).probabilistic bisimulations for quantum processes.INFORMATION AND COMPUTATION,205(11),1608-1639.
MLA	Feng Yuan,et al."probabilistic bisimulations for quantum processes".INFORMATION AND COMPUTATION 205.11(2007):1608-1639.