@Inproceedings{EPTCS172.23, author = {Bar, Krzysztof and Vicary, Jamie}, year = {2014}, title = {A 2-Categorical Analysis of Complementary Families, Quantum Key Distribution and the Mean King Problem}, editor = {Coecke, Bob and Hasuo, Ichiro and Panangaden, Prakash}, booktitle = {{\rm Proceedings of the 11th workshop on} Quantum Physics and Logic, {\rm Kyoto, Japan, 4-6th June 2014}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {172}, publisher = {Open Publishing Association}, pages = {316-332}, doi = {10.4204/EPTCS.172.23}, }