@Inproceedings{EPTCS95.15, author = {Nuiten, Joost}, year = {2012}, title = {Bohrification of local nets}, editor = {Jacobs, Bart and Selinger, Peter and Spitters, Bas}, booktitle = {{\rm Proceedings 8th International Workshop on} Quantum Physics and Logic, {\rm Nijmegen, Netherlands, October 27-29, 2011}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {95}, publisher = {Open Publishing Association}, pages = {211-218}, doi = {10.4204/EPTCS.95.15}, }