@inproceedings{alex2020pbscalculus,
	address = {Dagstuhl, Germany},
	archiveprefix = {arXiv},
	author = {Alexandre Cl{\'e}ment and Simon Perdrix},
	booktitle = {45th International Symposium on Mathematical Foundations of Computer Science (MFCS 2020)},
	doi = {10.4230/LIPIcs.MFCS.2020.24},
	COMMENTeditor = {Javier Esparza and Daniel Kr{\'a}{\v l}},
	editor = {Javier Esparza and Daniel Kr{\'a}ľ},
	eprint = {2002.09387},
	arxiv_long = {https://arxiv.org/abs/2002.09387},
	hal_id = {hal-02929291},
	hal_version = {v1},
	isbn = {978-3-95977-159-7},
	issn = {1868-8969},
	keywords = {Quantum Computing ; Diagrammatic Language ; Completeness ; Quantum Control ; Polarising Beam Splitter ; Categorical Quantum Mechanics ; Quantum Switch},
	month = Aug,
	pages = {24:1--24:14},
	primaryclass = {quant-ph},
	publisher = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
	series = {Leibniz International Proceedings in Informatics (LIPIcs)},
	title = {{PBS}-Calculus: A Graphical Language for Coherent Control of Quantum Computations},
	url = {https://hal.science/hal-02929291},
	urn = {urn:nbn:de:0030-drops-126921},
	volume = {170},
	year = {2020}}