SIGN IN
SIGN UP
An algebra of quantum processes
Full Text:
PDF
Buy this Article
see
source materials
below for
more options
Authors:
Mingsheng Ying
Tsinghua University, Beijing, China and University of Technology, Sydney, Ultimo, Australia
Yuan Feng
Tsinghua University, Beijing, China
Runyao Duan
Tsinghua University, Beijing, China
Zhengfeng Ji
Institute of Software, Chinese Academy of Sciences, Beijing, China
2009 Article
Research
Refereed
Bibliometrics
· Downloads (6 Weeks): 2
· Downloads (12 Months): 44
· Downloads (cumulative): 588
· Citation Count: 7
Published in:
· Journal
ACM Transactions on Computational Logic (TOCL)
TOCL Homepage
archive
Volume 10 Issue 3, April 2009
Article No. 19
ACM
New York, NY
, USA
table of contents
doi>
10.1145/1507244.1507249
Tools and Resources
Buy this Article
Request Permissions
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Tags:
bisimulation
formal definitions and theory
operational semantics
process algebra
quantum communication
quantum computation
specification techniques
super-operator
theory
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder