@phdthesis(Alex99,
 author       = "V.~Alexiev",
 year         = "1999",
 title        = "Non-deterministic interaction nets",
 school       = "University of Alberta",
 address      = "Edmonton, Alta., Canada",
)
@inproceedings(BEK06,
 author       = "P.~Baldan and H.~Ehrig and B.~K{\"o}nig",
 year         = "2006",
 title        = "Composition and Decomposition of {DPO} Transformations with Borrowed Context",
 booktitle    = "Proc. of ICGT '06 (International Conference on Graph Transformation)",
 publisher    = "Springer",
 pages        = "153--167",
 doi          = "10.1007/11841883\textunderscore 12",
 note         = "LNCS 4178",
)
@article(bonchi2009labelled,
 author       = "F.~Bonchi and F.~Gadducci and G.~V. Monreale",
 year         = "2009",
 title        = "{Labelled transitions for mobile ambients (as synthesized via a graphical encoding)}",
 journal      = "Electronic Notes in Theoretical Computer Science",
 volume       = "242",
 number       = "1",
 pages        = "73--98",
 doi          = "10.1016/j.entcs.2009.06.014",
)
@inproceedings(braatz2010finitary,
 author       = "B.~Braatz and H.~Ehrig and G.~Karsten and U.~Golas",
 year         = "2010",
 title        = "{Finitary M-adhesive categories}",
 booktitle    = "Graph Transformations: 5th International Conference, ICGT 2010, Twente, the Netherlands, September 27--October 2, 2010, Proceedings",
 organization = "Springer-Verlag",
 pages        = "234--249",
 doi          = "10.1007/978-3-642-15928-2\textunderscore 16",
)
@inproceedings(DBLP:conf/icalp/CorradiniHM00,
 author       = "Andrea Corradini and Reiko Heckel and Ugo Montanari",
 year         = "2000",
 title        = "Graphical Operational Semantics",
 booktitle    = "ICALP Satellite Workshops",
 pages        = "411--418",
)
@article(EhrReg06,
 author       = "T.~Ehrhard and L.~Regnier",
 year         = "2006",
 title        = "Differential interaction nets",
 journal      = "Theoretical Computer Science",
 volume       = "364",
 number       = "2",
 pages        = "166--195",
 doi          = "10.1016/j.tcs.2006.08.003",
)
@article(EH06,
 author       = "H.~Ehrig and B.~K{\"o}nig",
 year         = "2006",
 title        = "{Deriving Bisimulation Congruences in the {DPO} Approach to Graph Rewriting with Borrowed Contexts}",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "16",
 number       = "6",
 pages        = "1133--1163",
 doi          = "10.1017/S096012950600569X",
)
@inproceedings(DBLP:conf/birthday/GadducciM00,
 author       = "F.~Gadducci and U.~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",
)
@proceedings(knig_et_al:DSP:2005:27,
 editor       = "B.~K{\"o}nig and U.~Montanari and P.~Gardner",
 year         = "2005",
 title        = "04241 Abstracts Collection",
 series       = "Dagstuhl Seminar Proceedings",
 volume       = "04241",
 publisher    = "Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany",
 address      = "Dagstuhl, Germany",
 url          = "http://drops.dagstuhl.de/opus/volltexte/2005/27",
)
@article(adhesivejournal,
 author       = "S.~Lack and P.~Soboci{\'n}ski",
 year         = "2005",
 title        = "Adhesive and quasiadhesive categories",
 journal      = "RAIRO - Theoretical Informatics and Applications",
 volume       = "39",
 number       = "2",
 pages        = "522--546",
 doi          = "10.1051/ita:2005028",
)
@inproceedings(Laf90,
 author       = "Y.~Lafont",
 year         = "1990",
 title        = "Interaction nets",
 booktitle    = "Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages",
 series       = "POPL '90",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "95--108",
 doi          = "10.1145/96709.96718",
)
@inproceedings(Laf95,
 author       = "Y.~Lafont",
 year         = "1995",
 title        = "{From proof-nets to interaction nets}",
 booktitle    = "Proceedings of the workshop on Advances in linear logic",
 publisher    = "Cambridge University Press",
 address      = "New York, NY, USA",
 pages        = "225--247",
 doi          = "10.1017/CBO9780511629150.012",
)
@inproceedings(DBLP:conf/concur/LeiferM00,
 author       = "J.~J. Leifer and R.~Milner",
 year         = "2000",
 title        = "Deriving Bisimulation Congruences for Reactive Systems",
 editor       = "Catuscia Palamidessi",
 booktitle    = "CONCUR",
 series       = "Lecture Notes in Computer Science",
 volume       = "1877",
 publisher    = "Springer",
 pages        = "243--258",
 doi          = "10.1007/3-540-44618-4\textunderscore 19",
)
@phdthesis(MazzaPhd06,
 author       = "D.~Mazza",
 year         = "2006",
 title        = "Interaction Nets: Semantics and Concurrent Extensions",
 school       = "Universit{\'e} de la M{\'e}diterran{\'e}e \& Roma Tre",
)
@article(Rathke2010,
 author       = "J.~Rathke and P.~Soboci{\'n}ski",
 year         = "2010",
 title        = "Deriving structural labelled \ transitions for mobile ambients",
 journal      = "Information and Computation",
 volume       = "208",
 pages        = "1221--1242",
 doi          = "10.1016/j.ic.2010.06.001",
)
@article(sassonesobocinski:njc,
 author       = "V.~Sassone and P.~Soboci{\'n}ski",
 year         = "2003",
 title        = "Deriving Bisimulation Congruences Using 2-categories",
 journal      = "Nordic Journal of Computing",
 volume       = "10",
 number       = "2",
 pages        = "163--183",
)
@article(Simpson2004287,
 author       = "A.~Simpson",
 year         = "2004",
 title        = "Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS",
 journal      = "Journal of Logic and Algebraic Programming",
 volume       = "60--61",
 pages        = "287--322",
 doi          = "10.1016/j.jlap.2004.03.004",
)