@inproceedings(abramskycoecke:categoricalsemantics,
 author       = {S. Abramsky and B. Coecke},
 year         = {2004},
 title        = {A categorical semantics of quantum protocols},
 booktitle    = {Logic in Computer Science 19},
 publisher    = {IEEE Computer Society},
 pages        = {415--425},
 doi          = {10.1109/lics.2004.1319636},
)
@inproceedings(chiribella:pure,
 author       = {G. Chiribella},
 year         = {2014},
 title        = {Dilation of states and processes in operational-probabilistic theories},
 booktitle    = {Quantum Physics and Logic 11},
 series       = {EPTCS},
 volume       = {172},
 pages        = {1--14},
 doi          = {10.4204/EPTCS.172.1},
)
@article(chiribelladarianoperinotti:derivation,
 author       = {G. Chiribella and G. M. D'{A}riano and P. Perinotti},
 year         = {2011},
 title        = {Informational derivation of quantum theory},
 journal      = {Physical Review {A}},
 volume       = {84},
 pages        = {012311},
 doi          = {10.1103/PhysRevA.84.012311},
)
@inproceedings(coecke:cpm,
 author       = {B. Coecke},
 year         = {2008},
 title        = {Axiomatic Description of Mixed States From {S}elinger's {CPM}-construction},
 booktitle    = {Quantum Physics and Logic 4},
 volume       = {210},
 pages        = {3--13},
 doi          = {10.1016/j.entcs.2008.04.014},
)
@inproceedings(coeckeheunen:infdim,
 author       = {B. Coecke and C. Heunen},
 year         = {2014},
 title        = {Pictures of completely positivity in arbitrary dimension},
 booktitle    = {Quantum Physics and Logic 8},
 series       = {EPTCS},
 volume       = {95},
 pages        = {27--35},
 doi          = {10.4204/EPTCS.95.4},
)
@article(coeckeheunenkissinger:cpstar,
 author       = {B. Coecke and C. Heunen and A. Kissinger},
 year         = {2014},
 title        = {Categories of quantum and classical channels},
 journal      = {Quantum Information and Computation},
 doi          = {10.1007/s11128-014-0837-4},
)
@inproceedings(coeckepaquette:naimark,
 author       = {B. Coecke and {\'E}. O. Paquette},
 year         = {2008},
 title        = {{POVM}s and {N}aimark's theorem without sums},
 booktitle    = {Quantum Physics and Logic 4},
 series       = {ENTCS},
 volume       = {210},
 pages        = {15--31},
 doi          = {10.1016/J.ENTCS.2008.04.015},
)
@article(coeckeperdrix:environment,
 author       = {B. Coecke and S. Perdrix},
 year         = {2010},
 title        = {Environment and classical channels in categorical quantum mechanics},
 journal      = {Logical Methods in Computer Science},
 volume       = {8},
 number       = {4},
 pages        = {14},
 doi          = {10.2168/LMCS-8(4:14)2012},
)
@inproceedings(heunenboixo:cp,
 author       = {C. Heunen and S. Boixo},
 year         = {2012},
 title        = {Completely positive classical structures and sequentializable quantum protocols},
 booktitle    = {Quantum Physics and Logic 8},
 series       = {EPTCS},
 volume       = {95},
 pages        = {91--101},
 doi          = {10.4204/EPTCS.95.9},
)
@inproceedings(heunenkissingerselinger:idempotents,
 author       = {C. Heunen and A. Kissinger and P. Selinger},
 year         = {2014},
 title        = {Completely positive projections and biproducts},
 booktitle    = {Quantum Physics and Logic 10},
 series       = {EPTCS},
 volume       = {171},
 pages        = {71--83},
 doi          = {10.4204/EPTCS.171.7},
)
@inproceedings(heunenvicarywester:2cp,
 author       = {C. Heunen and J. Vicary and L. Wester},
 year         = {2014},
 title        = {Mixed quantum states in higher categories},
 booktitle    = {Quantum Physics and Logic 11},
 series       = {EPTCS},
 volume       = {172},
 pages        = {304--315},
 doi          = {10.4204/EPTCS.172.22},
)
@inproceedings(selinger:idempotents,
 author       = {P. Selinger},
 year         = {2006},
 title        = {Idempotents in dagger categories},
 booktitle    = {Quantum Physics and Logic 4},
 series       = {ENTCS},
 volume       = {210},
 pages        = {107--122},
 doi          = {10.1016/j.entcs/2008.04.021},
)
@inproceedings(selinger:cpm,
 author       = {P. Selinger},
 year         = {2007},
 title        = {Dagger compact closed categories and completely positive maps},
 booktitle    = {Quantum Physics and Logic 3},
 series       = {ENTCS},
 volume       = {170},
 pages        = {139--163},
 doi          = {10.1016/j.entcs.2006.12.018},
)
@inproceedings(selinger:graphicallanguages,
 author       = {P. Selinger},
 year         = {2009},
 title        = {A survey of graphical languages for monoidal categories},
 booktitle    = {New Structures for Physics},
 series       = {Lecture Notes in Physics},
 publisher    = {Springer},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9_4},
)