Semantics of quantum programming language LanQ

Warning

This publication doesn't include Faculty of Education. It includes Faculty of Informatics. Official publication website can be found on muni.cz.

Authors	MLNAŘÍK Hynek
Year of publication	2008
Type	Article in Periodical
Magazine / Source	International Journal of Quantum Information
MU Faculty or unit	Faculty of Informatics
Citation
Field	Informatics
Keywords	LanQ; quantum programming language; quantum process algebra; semantics
Description	We show a memory model of an imperative concurrent quantum programming language LanQ. The memory model is used to specify the shape of semantical structure upon which the language operational semantics is defined. We also outline the language abilities in the area of formal verification on an example implementation of teleportation protocol.
Related projects:	Highly Parallel and Distributed Computing Systems Quantum multipartite computation, communication and security