×

Found 8 Documents (Results 1–8)

Verification of linear optical quantum computing using quantum process calculus. (English) Zbl 1464.68242

Borgström, Johannes (ed.) et al., Proceedings of the combined 21st international workshop on expressiveness in concurrency and 11th workshop on structural operational semantics, EXPRESS/SOS 2014, Rome, Italy, September 1, 2014. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 160, 111-129 (2014).
MSC:  68Q85 81P65 81P68
PDFBibTeX XMLCite
Full Text: arXiv Link

Quantum process calculus for linear optical quantum computing. (English) Zbl 1407.81063

Dueck, Gerhard W. (ed.) et al., Reversible computation. 5th international conference, RC 2013, Victoria, BC, Canada, July 4–5, 2013. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 7948, 234-246 (2013).
MSC:  81P68 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Database

all top 5

Year of Publication

Main Field