@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},
)