@techreport(Beauquier10tr,
 author       = "Maxime Beauquier and Carstern Sch{\"u}rmann",
 year         = "2010",
 title        = "Bigraphs in {CLF}",
 type         = "Technical Report, TR 2010-126",
 institution  = "IT University of Copenhagen",
)
@techreport(CLF02,
 author       = "Iliano Cervesato and Frank Pfenning and David Walker and Kevin Watkins",
 year         = "2002",
 title        = "A Concurrent Logical Framework II: Examples and Applications",
 type         = "Technical Report, CMU-CS-02-102",
 institution  = "Caregie Mello University",
 address      = "Pittsburgh, PA 15213",
)
@inproceedings(JensenMilner03BigraphsTransitions,
 author       = "Ole H{\o }gh Jensen and Robin Milner",
 year         = "2003",
 title        = "Bigraphs and Transitions",
 booktitle    = "Proceedings of the 30th {ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming {L}anguages (POPL'03)",
 publisher    = "ACM Press",
 pages        = "38--49",
 doi          = "10.1145/604131.604135",
)
@inproceedings(Lopez05ppdp,
 author       = "Pablo L{\'o}pez and Frank Pfenning and Jeff Polakow and Kevin Watkins",
 year         = "2005",
 title        = "Monadic concurrent linear logic programming",
 editor       = "Pedro Barahona and Amy P. Felty",
 booktitle    = "Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming",
 address      = "Lisbon, Portugal",
 pages        = "35--46",
 doi          = "10.1145/1069774.1069778",
)
@inproceedings(Milner03BigraphsPetriNets,
 author       = "Robin Milner",
 year         = "2003",
 title        = "Bigraphs for Petri Nets",
 editor       = "J{\"o}rg Desel and Wolfgang Reisig and Grzegorz Rozenberg",
 booktitle    = "Lectures on Concurrency and Petri Nets, Advances in Petri Nets",
 series       = "Lecture Notes in Computer Science",
 volume       = "3098",
 publisher    = "Springer-Verlag",
 pages        = "686--701",
 doi          = "10.1007/978-3-540-27755-2\_19",
)
@article(Milner06PureBigraphs,
 author       = "Robin Milner",
 year         = "2006",
 title        = "Pure Bigraphs: Structure and Dynamics",
 journal      = "Information and Computation",
 volume       = "204",
 number       = "1",
 pages        = "60--122",
 doi          = "10.1016/j.ic.2005.07.003",
)
@book(MILNER09,
 author       = "Robin Milner",
 year         = "2009",
 title        = "The Space and Motion of Communication Agents",
 publisher    = "Cambridge University Press",
)
@inproceedings(Celf08,
 author       = "Anders Schack-Nielsen and Carsten Sch\"{u}rmann",
 year         = "2008",
 title        = "Celf --- A Logical Framework for Deductive and Concurrent Systems (System Description)",
 booktitle    = "IJCAR '08: Proceedings of the 4th international joint conference on Automated Reasoning",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Heidelberg",
 pages        = "320--326",
 doi          = "10.1007/978-3-540-71070-7\_28",
)
@article(SchackNielsen10lfmtp,
 author       = "Anders Schack-Nielsen and Carsten Sch{\"u}rmann",
 year         = "2010",
 title        = "{Pattern Unification for the Lambda Calculus with Linear and Affine Types}",
 journal      = "Electronic Proceedings in Theoretical Computer Science",
 volume       = "34",
 pages        = "101--116",
 doi          = "10.4204/EPTCS.34.9",
 note         = "In Proceedings LFMTP 2010",
)