@article(baez2017prop,
 author       = {John C. Baez and Brandon Coya and Franciscus Rebro},
 year         = {2018},
 title        = {Props in network theory},
 journal      = {Theory and Applications of Categories},
 volume       = {33},
 number       = {25},
 pages        = {727--783},
 url          = {http://www.tac.mta.ca/tac/volumes/33/25/33-25abs.html},
)
@article(baez2020open,
 author       = {John C. Baez and Jade Master},
 year         = {2020},
 title        = {Open Petri nets},
 journal      = {Math. Struct. Comput. Sci.},
 volume       = {30},
 number       = {3},
 pages        = {314--341},
 doi          = {10.1017/S0960129520000043},
)
@article(bonchi2019,
 author       = {Filippo Bonchi and Joshua Holland and Robin Piedeleu and Pawe\l{} Soboci\'{n}ski and Fabio Zanasi},
 year         = {2019},
 title        = {Diagrammatic Algebra: From Linear to Concurrent Systems},
 journal      = {Proc. ACM Program. Lang.},
 volume       = {3},
 number       = {POPL},
 doi          = {10.1145/3290338},
)
@inproceedings(bonchi2019graphical,
 author       = {Filippo Bonchi and Robin Piedeleu and Pawel Sobocinski and Fabio Zanasi},
 year         = {2019},
 title        = {Graphical Affine Algebra},
 booktitle    = {34th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2019, Vancouver, BC, Canada, June 24-27, 2019},
 publisher    = {{IEEE}},
 pages        = {1--12},
 doi          = {10.1109/LICS.2019.8785877},
)
@article(bonchi2017,
 author       = {Filippo Bonchi and Soboci\IeC{\'n}ski, Pawe\IeC{\l} and Fabio Zanasi},
 year         = {2017},
 title        = {Interacting Hopf algebras},
 journal      = {Journal of Pure and Applied Algebra},
 volume       = {221},
 number       = {1},
 pages        = {144--184},
 doi          = {10.1016/j.jpaa.2016.06.002},
)
@inproceedings(DBLP:conf/mfcs/CaretteHP19,
 author       = {Titouan Carette and Dominic Horsman and Simon Perdrix},
 year         = {2019},
 title        = {{SZX-calculus: Scalable Graphical Quantum Reasoning}},
 booktitle    = {{MFCS 2019 - 44th International Symposium on Mathematical Foundations of Computer Science}},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {138},
 address      = {Aachen, Germany},
 pages        = {55:1--55:15},
 doi          = {10.4230/LIPIcs.MFCS.2019.55},
 url          = {https://hal.archives-ouvertes.fr/hal-02400070},
)
@article(carette2020,
 author       = {Titouan Carette and Simon Perdrix},
 year         = {2020},
 title        = {Colored props for large scale graphical reasoning},
 journal      = {CoRR},
 volume       = {abs/2007.03564},
 eprint       = {2007.03564},
)
@inproceedings(ClarkeLM89,
 author       = {Edmund M. Clarke and David E. Long and Kenneth L. McMillan},
 year         = {1989},
 title        = {Compositional Model Checking},
 booktitle    = {Proceedings of the Fourth Annual Symposium on Logic in Computer Science {(LICS} '89), Pacific Grove, California, USA, June 5-8, 1989},
 publisher    = {{IEEE} Computer Society},
 pages        = {353--362},
 doi          = {10.1109/LICS.1989.39190},
)
@inproceedings(CzerwinskiDFJLP19,
 author       = {Wojciech Czerwinski and Laure Daviaud and Nathana{\"{e}}l Fijalkow and Marcin Jurdzinski and Ranko Lazic and Pawel Parys},
 year         = {2019},
 title        = {Universal trees grow inside separating automata: Quasi-polynomial lower bounds for parity games},
 editor       = {Timothy M. Chan},
 booktitle    = {Proceedings of the Thirtieth Annual {ACM-SIAM} Symposium on Discrete Algorithms, {SODA} 2019, San Diego, California, USA, January 6-9, 2019},
 publisher    = {{SIAM}},
 pages        = {2333--2349},
 doi          = {10.1137/1.9781611975482.142},
)
@inproceedings(fiore2013algebra,
 author       = {Marcelo P. Fiore and Marco Devesas Campos},
 year         = {2013},
 title        = {The Algebra of Directed Acyclic Graphs},
 editor       = {Bob Coecke and Luke Ong and Prakash Panangaden},
 booktitle    = {Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion of His 60th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {7860},
 publisher    = {Springer},
 pages        = {37--51},
 doi          = {10.1007/978-3-642-38164-5\_4},
)
@article(Fregier2009,
 author       = {Yael Fr{\'e}gier and Martin Markl and Donald Yau},
 year         = {2008},
 title        = {The $L_{\infty}$-deformation complex of diagrams of algebras},
 journal      = {New York J. Math.},
 volume       = {15},
 pages        = {353\IeC{\textendash}392},
)
@inproceedings(fujii2016towards,
 author       = {Soichiro Fujii and Shin{-}ya Katsumata and Paul{-}Andr{\'{e}} Melli{\`{e}}s},
 year         = {2016},
 title        = {Towards a Formal Theory of Graded Monads},
 editor       = {Bart Jacobs and Christof L{\"{o}}ding},
 booktitle    = {Foundations of Software Science and Computation Structures - 19th International Conference, {FOSSACS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9634},
 publisher    = {Springer},
 pages        = {513--530},
 doi          = {10.1007/978-3-662-49630-5\_30},
)
@inproceedings(ghani2018,
 author       = {Neil Ghani and Jules Hedges and Viktor Winschel and Philipp Zahn},
 year         = {2018},
 title        = {Compositional Game Theory},
 editor       = {Anuj Dawar and Erich Gr{\"{a}}del},
 booktitle    = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
 publisher    = {{ACM}},
 pages        = {472--481},
 doi          = {10.1145/3209108.3209165},
)
@phdthesis(grellois2016semantics,
 author       = {Charles Grellois},
 year         = {2016},
 title        = {Semantics of linear logic and higher-order model-checking. (S{\'{e}}mantique de la logique lin{\'{e}}aire et "model-checking" d'ordre sup{\'{e}}rieur)},
 school       = {Paris Diderot University, France},
 url          = {https://tel.archives-ouvertes.fr/tel-01311150},
)
@inproceedings(grellois2015finitary,
 author       = {Charles Grellois and Paul{-}Andr{\'{e}} Melli{\`{e}}s},
 year         = {2015},
 title        = {Finitary Semantics of Linear Logic and Higher-Order Model-Checking},
 editor       = {Giuseppe F. Italiano and Giovanni Pighizzini and Donald Sannella},
 booktitle    = {Mathematical Foundations of Computer Science 2015 - 40th International Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part {I}},
 series       = {Lecture Notes in Computer Science},
 volume       = {9234},
 publisher    = {Springer},
 pages        = {256--268},
 doi          = {10.1007/978-3-662-48057-1\_20},
)
@article(hackney2015category,
 author       = {Philip Hackney and Marcy Robertson},
 year         = {2012},
 title        = {On the Category of Props},
 journal      = {Applied Categorical Structures},
 volume       = {23},
 doi          = {10.1007/s10485-014-9369-4},
)
@inproceedings(hasegawa1997recursion,
 author       = {Masahito Hasegawa},
 year         = {1997},
 title        = {Recursion from Cyclic Sharing: Traced Monoidal Categories and Models of Cyclic Lambda Calculi},
 editor       = {Philippe de Groote},
 booktitle    = {Typed Lambda Calculi and Applications, Third International Conference on Typed Lambda Calculi and Applications, {TLCA} '97, Nancy, France, April 2-4, 1997, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {1210},
 publisher    = {Springer},
 pages        = {196--213},
 doi          = {10.1007/3-540-62688-3\_37},
)
@article(hasegawa2010note,
 author       = {Masahito Hasegawa and Shin-ya Katsumata},
 year         = {2010},
 title        = {A note on the biadjunction between 2-categories of traced monoidal categories and tortile monoidal categories},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {148},
 number       = {1},
 pages        = {107\IeC{\textendash}109},
 doi          = {10.1017/S0305004109002606},
)
@inproceedings(hasuo2015generic,
 author       = {Ichiro Hasuo},
 year         = {2014},
 title        = {Generic Weakest Precondition Semantics from Monads Enriched with Order},
 editor       = {Marcello M. Bonsangue},
 booktitle    = {Coalgebraic Methods in Computer Science - 12th {IFIP} {WG} 1.3 International Workshop, {CMCS} 2014, Colocated with {ETAPS} 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {8446},
 publisher    = {Springer},
 pages        = {10--32},
 doi          = {10.1007/978-3-662-44124-4\_2},
)
@article(JOYAL199320,
 author       = {Andr\IeC{\'e} Joyal and Ross Street},
 year         = {1993},
 title        = {Braided Tensor Categories},
 journal      = {Advances in Mathematics},
 volume       = {102},
 number       = {1},
 pages        = {20--78},
 doi          = {10.1006/aima.1993.1055},
 url          = {https://www.sciencedirect.com/science/article/pii/S0001870883710558},
)
@article(joyal1996,
 author       = {Andr\IeC{\'e} Joyal and Ross Street and Dominic Verity},
 year         = {1996},
 title        = {Traced monoidal categories},
 journal      = {Mathematical Proceedings of the Cambridge Philosophical Society},
 volume       = {119},
 number       = {3},
 pages        = {447\IeC{\textendash}468},
 doi          = {10.1017/S0305004100074338},
)
@inproceedings(katsumata2010categorical,
 author       = {Shin{-}ya Katsumata},
 year         = {2010},
 title        = {Categorical Descriptional Composition},
 editor       = {Kazunori Ueda},
 booktitle    = {Programming Languages and Systems - 8th Asian Symposium, {APLAS} 2010, Shanghai, China, November 28 - December 1, 2010. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {6461},
 publisher    = {Springer},
 pages        = {222--238},
 doi          = {10.1007/978-3-642-17164-2\_16},
)
@inproceedings(katsumata2014parametric,
 author       = {Shin{-}ya Katsumata},
 year         = {2014},
 title        = {Parametric effect monads and semantics of effect systems},
 editor       = {Suresh Jagannathan and Peter Sewell},
 booktitle    = {The 41st Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of Programming Languages, {POPL} '14, San Diego, CA, USA, January 20-21, 2014},
 publisher    = {{ACM}},
 pages        = {633--646},
 doi          = {10.1145/2535838.2535846},
)
@inproceedings(kissinger2014abstract,
 author       = {Aleks Kissinger},
 year         = {2014},
 title        = {Abstract Tensor Systems as Monoidal Categories},
 editor       = {Claudia Casadio and Bob Coecke and Michael Moortgat and Philip Scott},
 booktitle    = {Categories and Types in Logic, Language, and Physics - Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday},
 series       = {Lecture Notes in Computer Science},
 volume       = {8222},
 publisher    = {Springer},
 pages        = {235--252},
 doi          = {10.1007/978-3-642-54789-8\_13},
)
@article(klin2011bialgebras,
 author       = {Bartek Klin},
 year         = {2011},
 title        = {Bialgebras for structural operational semantics: An introduction},
 journal      = {Theor. Comput. Sci.},
 volume       = {412},
 number       = {38},
 pages        = {5043--5069},
 doi          = {10.1016/j.tcs.2011.03.023},
)
@article(KwiatkowskaNPQ13,
 author       = {Marta Z. Kwiatkowska and Gethin Norman and David Parker and Hongyang Qu},
 year         = {2013},
 title        = {Compositional probabilistic verification through multi-objective model checking},
 journal      = {Inf. Comput.},
 volume       = {232},
 pages        = {38--65},
 doi          = {10.1016/j.ic.2013.10.001},
)
@inproceedings(lavore2021,
 author       = {Elena Di Lavore and Jules Hedges and Soboci\IeC{\'n}ski, Pawe{\l}},
 year         = {2021},
 title        = {{Compositional Modelling of Network Games}},
 editor       = {Christel Baier and Goubault-Larrecq, Jean},
 booktitle    = {29th EACSL Annual Conference on Computer Science Logic (CSL 2021)},
 series       = {Leibniz International Proceedings in Informatics (LIPIcs)},
 volume       = {183},
 publisher    = {Schloss Dagstuhl--Leibniz-Zentrum f{\"u}r Informatik},
 address      = {Dagstuhl, Germany},
 pages        = {30:1--30:24},
 doi          = {10.4230/LIPIcs.CSL.2021.30},
)
@article(maclane1965categorical,
 author       = {Saunders MacLane},
 year         = {1965},
 title        = {Categorical algebra},
 journal      = {Bulletin of the American Mathematical Society},
 volume       = {71},
 number       = {1},
 pages        = {40--106},
 doi          = {10.1090/S0002-9904-1965-11234-4},
)
@article(penrose1971applications,
 author       = {Roger Penrose},
 year         = {1971},
 title        = {Applications of negative dimensional tensors},
 journal      = {Combinatorial mathematics and its applications},
 volume       = {1},
 pages        = {221--244},
)
@inproceedings(piedeleu2020string,
 author       = {Robin Piedeleu and Fabio Zanasi},
 year         = {2021},
 title        = {A String Diagrammatic Axiomatisation of Finite-State Automata},
 editor       = {Stefan Kiefer and Christine Tasson},
 booktitle    = {Foundations of Software Science and Computation Structures - 24th International Conference, {FOSSACS} 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {12650},
 publisher    = {Springer},
 pages        = {469--489},
 doi          = {10.1007/978-3-030-71995-1\_24},
)
@inproceedings(selinger2010survey,
 author       = {Peter Selinger},
 year         = {2011},
 title        = {A Survey of Graphical Languages for Monoidal Categories},
 editor       = {Bob Coecke},
 booktitle    = {New Structures for Physics},
 publisher    = {Springer Berlin Heidelberg},
 address      = {Berlin, Heidelberg},
 pages        = {289--355},
 doi          = {10.1007/978-3-642-12821-9_4},
)
@inproceedings(DBLP:conf/csl/TsukadaO14,
 author       = {Takeshi Tsukada and C.{-}H. Luke Ong},
 year         = {2014},
 title        = {Compositional higher-order model checking via \emph{{$\omega$}}-regular games over {B}{\"{o}}hm trees},
 booktitle    = {Joint Meeting of the Twenty-Third {EACSL} Annual Conference on Computer Science Logic {(CSL)} and the Twenty-Ninth Annual {ACM/IEEE} Symposium on Logic in Computer Science (LICS), {CSL-LICS} '14, Vienna, Austria, July 14 - 18, 2014},
 publisher    = {{ACM}},
 pages        = {78:1--78:10},
 doi          = {10.1145/2603088.2603133},
)
@inproceedings(turi1997towards,
 author       = {Daniele Turi and Gordon D. Plotkin},
 year         = {1997},
 title        = {Towards a Mathematical Operational Semantics},
 booktitle    = {Proceedings, 12th Annual {IEEE} Symposium on Logic in Computer Science, Warsaw, Poland, June 29 - July 2, 1997},
 publisher    = {{IEEE} Computer Society},
 pages        = {280--291},
 doi          = {10.1109/LICS.1997.614955},
)
@article(wilke2001alternating,
 author       = {Thomas Wilke},
 year         = {2001},
 title        = {{Alternating tree automata, parity games, and modal {$\mu$}-calculus}},
 journal      = {Bulletin of the Belgian Mathematical Society - Simon Stevin},
 volume       = {8},
 number       = {2},
 pages        = {359 -- 391},
 doi          = {10.36045/bbms/1102714178},
)