Semantics of quantum programming language LanQ

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Sémantika kvantového programovacího jazyka LanQ
Autoři	MLNAŘÍK Hynek
Rok publikování	2008
Druh	Článek v odborném periodiku
Časopis / Zdroj	International Journal of Quantum Information
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Informatika
Klíčová slova	LanQ; quantum programming language; quantum process algebra; semantics
Popis	V článku je popsán paměťový model imperativního konkurentního kvantového programovacího jazyka LanQ. Paměťový model je použit pro určení tvaru struktury, na níž je definována operační sémantika tohoto jazyka. Dále jsou přiblíženy možnosti jazyka v oblasti formálních verifikací, a to na příkladu implementace teleportačního protokolu.
Související projekty:	Vysoce paralelní a distribuované výpočetní systémy Výpočty, komunikace a bezpečnost kvantových distribuovaných systémů