@phdthesis(bef05:lrc,
 author       = "Emmanuel Beffara",
 year         = "2005",
 title        = "Logique, r\'ealisabilit\'e et concurrence",
 school       = "Universit\'e Paris 7",
)
@inproceedings(DBLP:conf/fossacs/BonsangueRS09,
 author       = "Marcello M. Bonsangue and Jan J. M. M. Rutten and Alexandra Silva",
 year         = "2009",
 title        = "A Kleene Theorem for Polynomial Coalgebras",
 editor       = "Luca de Alfaro",
 booktitle    = "FOSSACS",
 series       = "Lecture Notes in Computer Science",
 volume       = "5504",
 publisher    = "Springer",
 pages        = "122--136",
 doi          = "10.1007/978-3-642-00596-1\_10",
)
@article(DBLP:journals/tcs/Burroni93,
 author       = "Albert Burroni",
 year         = "1993",
 title        = "Higher-Dimensional Word Problems with Applications to Equational Logic",
 journal      = "Theoretical Computer Science",
 volume       = "115",
 number       = "1",
 pages        = "43--62",
 doi          = "10.1016/0304-3975(93)90054-W",
)
@article(DBLP:journals/mscs/CarboniJ95,
 author       = "Aurelio Carboni and Peter Johnstone",
 year         = "1995",
 title        = "Connected Limits, Familial Representability and Artin Glueing",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "5",
 number       = "4",
 pages        = "441--459",
 doi          = "10.1017/S0960129500001183",
)
@article(DBLP:journals/mscs/Johnstone04,
 author       = "Aurelio Carboni and Peter Johnstone",
 year         = "2004",
 title        = "Corrigenda for 'Connected limits, familial representability and Artin glueing'",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "14",
 number       = "1",
 pages        = "185--187",
 doi          = "10.1017/S0960129503004080",
)
@article(DBLP:journals/tcs/NicolaH84,
 author       = "Rocco {De Nicola} and Matthew Hennessy",
 year         = "1984",
 title        = "Testing Equivalences for Processes",
 journal      = "Theor. Comput. Sci.",
 volume       = "34",
 pages        = "83--133",
 doi          = "10.1016/0304-3975(84)90113-0",
)
@inproceedings(Miller08,
 author       = "Olivier Delande and Dale Miller",
 year         = "2008",
 title        = "A Neutral Approach to Proof and Refutation in MALL",
 booktitle    = "Proc. LICS",
 pages        = "498--508",
 doi          = "10.1109/LICS.2008.35",
)
@book(Ehrig,
 editor       = "H. Ehrig and H.-J. Kreowski and Ugo Montanari and Grzegorz Rozenberg",
 year         = "1999",
 title        = "Handbook of Graph Grammars and Computing by Graph Transformation, Volume 3: Concurrency, Parallelism and Distribution",
 publisher    = "World Scientific",
)
@inproceedings(DBLP:conf/lics/Fiore08,
 author       = "Marcelo P. Fiore",
 year         = "2008",
 title        = "Second-Order and Dependently-Sorted Abstract Syntax",
 booktitle    = "Proc. LICS",
 pages        = "57--68",
 doi          = "10.1109/LICS.2008.38",
)
@article(DBLP:journals/tcs/GadducciHL99,
 author       = "Fabio Gadducci and Reiko Heckel and Merc{\`e} Llabr{\'e}s",
 year         = "1999",
 title        = "A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "29",
 doi          = "10.1016/S1571-0661(05)80309-3",
)
@inproceedings(DBLP:conf/birthday/GadducciM00,
 author       = "Fabio Gadducci and Ugo Montanari",
 year         = "2000",
 title        = "The tile model",
 editor       = "Gordon D. Plotkin and Colin Stirling and Mads Tofte",
 booktitle    = "Proof, Language, and Interaction",
 publisher    = "The MIT Press",
 pages        = "133--166",
)
@article(DBLP:journals/mscs/Girard01,
 author       = "Jean-Yves Girard",
 year         = "2001",
 title        = "Locus Solum: From the rules of logic to the logic of rules",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "11",
 number       = "3",
 pages        = "301--506",
 doi          = "10.1007/3-540-44802-0\_3",
)
@inproceedings(DBLP:conf/concur/Glabbeek90,
 author       = "Rob J. van Glabbeek",
 year         = "1990",
 title        = "The Linear Time-Branching Time Spectrum (Extended Abstract)",
 editor       = "Jos C. M. Baeten and Jan Willem Klop",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "458",
 publisher    = "Springer",
 pages        = "278--297",
 doi          = "10.1007/BFb0039066",
)
@article(Guiraud,
 author       = "Yves Guiraud and Philippe Malbos",
 year         = "2009",
 title        = "Higher-dimensional categories with finite derivation type",
 journal      = "Theory and Applications of Categories",
 volume       = "22",
 number       = "18",
 pages        = "420--278",
)
@article(DBLP:journals/entcs/HirschowitzHH09,
 author       = "Andr{\'e} Hirschowitz and Michel Hirschowitz and Tom Hirschowitz",
 year         = "2009",
 title        = "Contraction-free Proofs and Finitary Games for Linear Logic",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "249",
 pages        = "287--305",
 doi          = "10.1016/j.entcs.2009.07.095",
)
@inproceedings(hirscho:lam,
 author       = "Andr{\'e} Hirschowitz and Marco Maggesi",
 year         = "2007",
 title        = "Modules over Monads and Linearity",
 editor       = "Daniel Leivant and Ruy J. G. B. de Queiroz",
 booktitle    = "WoLLIC",
 series       = "Lecture Notes in Computer Science",
 volume       = "4576",
 publisher    = "Springer",
 pages        = "218--237",
 doi          = "10.1007/3-540-44802-0\_3",
)
@article(DBLP:journals/iandc/HirschowitzM10,
 author       = "Andr{\'e} Hirschowitz and Marco Maggesi",
 year         = "2010",
 title        = "Modules over monads and initial semantics",
 journal      = "Information and Computation",
 volume       = "208",
 number       = "5",
 pages        = "545--564",
 doi          = "10.1016/j.ic.2009.07.003",
)
@unpublished(HIRSCHOWITZ:2010:HAL-00540205:2,
 author       = "{T}om {H}irschowitz",
 title        = "{C}artesian closed 2-categories and permutation equivalence in higher-order rewriting",
 url          = "http://hal.archives-ouvertes.fr/hal-00540205/en/",
)
@inbook(hyland97,
 author       = "Martin Hyland",
 year         = "1997",
 title        = "Semantics and Logics of Computation",
 chapter      = "Game Semantics",
 publisher    = "Cambridge University Press",
 doi          = "10.1017/CBO9780511526619.005",
)
@book(Jacobs,
 author       = "Bart Jacobs",
 year         = "1999",
 title        = "Categorical Logic and Type Theory",
 series       = "Studies in Logic and the Foundations of Mathematics",
 volume       = "141",
 publisher    = "North Holland",
 address      = "Amsterdam",
)
@techreport(Milner:bigraphs,
 author       = "Ole H. Jensen and Robin Milner",
 year         = "2004",
 title        = "Bigraphs and mobile processes (revised)",
 type         = "Technical Report",
 number       = "TR580",
 institution  = "University of Cambridge",
 url          = "http://www.cl.cam.ac.uk/TechReports/UCAM-CL-TR-580.pdf",
)
@inproceedings(DBLP:conf/lics/JoyalNW93,
 author       = "Andr{\'e} Joyal and Mogens Nielsen and Glynn Winskel",
 year         = "1993",
 title        = "Bisimulation and open maps",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "418--427",
 doi          = "10.1109/LICS.1993.287566",
)
@article(DBLP:journals/mscs/KasangianL99,
 author       = "Stefano Kasangian and Anna Labella",
 year         = "1999",
 title        = "Observational trees as models for concurrency",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "9",
 number       = "6",
 pages        = "687--718",
 doi          = "10.1017/S0960129599002935",
)
@article(Kock01012011,
 author       = "Joachim Kock",
 year         = "2011",
 title        = "Polynomial Functors and Trees",
 journal      = "International Mathematics Research Notices",
 volume       = "2011",
 number       = "3",
 pages        = "609--673",
 doi          = "10.1093/imrn/rnq068",
)
@article(DBLP:journals/tcs/Krivine03,
 author       = "Jean-Louis Krivine",
 year         = "2003",
 title        = "Dependent choice, `quote' and the clock",
 journal      = "Theor. Comput. Sci.",
 volume       = "308",
 number       = "1-3",
 pages        = "259--276",
 doi          = "10.1016/S0304-3975(02)00776-4",
)
@article(Lambeklemma,
 author       = "Joachim Lambek",
 year         = "1968",
 title        = "A fixpoint theorem for complete categories",
 journal      = "Mathematische Zeitschrift",
 volume       = "103",
 pages        = "151--161",
 doi          = "10.1007/BF01110627",
)
@book(MacLane:cwm,
 author       = "Saunders {Mac Lane}",
 year         = "1998",
 title        = "Categories for the Working Mathematician",
 edition      = "2nd",
 series       = "Graduate Texts in Mathematics",
 volume       = "5",
 publisher    = "Springer",
)
@book(MM,
 author       = "Saunders MacLane and Ieke Moerdijk",
 year         = "1992",
 title        = "Sheaves in Geometry and Logic: A First Introduction to Topos Theory",
 series       = "Universitext",
 publisher    = "Springer",
)
@inproceedings(Mellies04,
 author       = "Paul-Andr{\'e} Melli{\`e}s",
 year         = "2004",
 title        = "Asynchronous games 2: the true concurrency of innocence",
 booktitle    = "Proc.\ CONCUR '04",
 series       = "LNCS",
 volume       = "3170",
 publisher    = "Springer Verlag",
 pages        = "448--465",
 doi          = "10.1016/j.tcs.2006.01.016",
)
@book(Milner80,
 author       = "Robin Milner",
 year         = "1980",
 title        = "A Calculus of Communicating Systems",
 series       = "LNCS",
 volume       = "92",
 publisher    = "Springer",
 doi          = "10.1007/3-540-10235-3",
)
@inproceedings(DBLP:conf/lics/Nipkow91,
 author       = "Tobias Nipkow",
 year         = "1991",
 title        = "Higher-Order Critical Pairs",
 booktitle    = "LICS",
 publisher    = "IEEE Computer Society",
 pages        = "342--349",
 doi          = "10.1109/LICS.1991.151658",
)
@techreport(PlotkinSOS,
 author       = "Gordon D. Plotkin",
 year         = "1981",
 title        = "A structural approach to operational semantics",
 type         = "DAIMI Report",
 number       = "FN-19",
 institution  = "Computer Science Department, Aarhus University",
)
@inproceedings(modularLTS,
 author       = "Julian Rathke and Pawel Sobocinski",
 year         = "2008",
 title        = "Deconstructing behavioural theories of mobility",
 booktitle    = "IFIP TCS",
 series       = "IFIP",
 volume       = "273",
 publisher    = "Springer",
 pages        = "507--520",
 doi          = "10.1007/978-0-387-09680-3\_34",
)
@article(Sobocinski:grpos,
 author       = "Vladimiro Sassone and Pawel Soboci\'{n}ski",
 year         = "2003",
 title        = "Deriving Bisimulation Congruences Using 2-categories",
 journal      = "Nordic Journal of Computing",
 volume       = "10",
 number       = "2",
)
@inproceedings(DBLP:conf/concur/Sewell98,
 author       = "Peter Sewell",
 year         = "1998",
 title        = "From Rewrite to Bisimulation Congruences",
 editor       = "Davide Sangiorgi and Robert de Simone",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "1466",
 publisher    = "Springer",
 pages        = "269--284",
 doi          = "10.1007/BFb0055611",
)
@inproceedings(plotkin:turi:bialgebraic,
 author       = "Daniele Turi and Gordon D. Plotkin",
 year         = "1997",
 title        = "Towards a Mathematical Operational Semantics",
 booktitle    = "LICS",
 pages        = "280--291",
 doi          = "10.1109/LICS.1997.614955",
)
@unpublished(Vistoli,
 author       = "Angelo Vistoli",
 year         = "2007",
 title        = "Notes on {G}rothendieck topologies, fibered categories and descent theory",
 url          = "http://arxiv.org/abs/math/0412512",
)