@conference(birkedal2006bigraphical, author = "L. Birkedal and S. Debois and E. Elsborg and T. Hildebrandt and H. Niss", year = "2006", title = "{Bigraphical models of context-aware systems}", booktitle = "Foundations of Software Science and Computation Structures", organization = "Springer", pages = "187--201", doi = "10.1007/11690634\_13", ) @inproceedings(birkedal2008construction, author = "L. Birkedal and S. Debois and T. Hildebrandt", year = "2008", title = "{On the construction of sorted reactive systems}", booktitle = "CONCUR 2008", publisher = "Springer", pages = "218--232", doi = "10.1007/978-3-540-85361-9\_20", ) @conference(bolusset2002formal, author = "T. Bolusset and F. Oquendo", year = "2002", title = "{Formal refinement of software architectures based on rewriting logic}", booktitle = "International Workshop on Refinement of Critical Systems: Methods, Tools and Experience, Grenoble", ) @conference(bundgaard2006typed, author = "M. Bundgaard and V. Sassone", year = "2006", title = "{Typed polyadic pi-calculus in bigraphs}", booktitle = "Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming", organization = "ACM", pages = "1--12", doi = "10.1145/1140335.1140336", ) @techreport(Damgaard:08:ALanguageForTheCell, author = "T.C. Damgaard and V. Danos and J. Krivine", year = "2008", title = "A Language for the Cell", type = "Technical Report", number = "TR-2008-116", institution = "IT University of Copenhagen", ) @techreport(Damgaard:08:GenericLangBioSystBasedBigraphs, author = "T.C. Damgaard and J. Krivine", year = "2008", title = "A Generic Language for Biological Systems based on Bigraphs", type = "Technical Report", number = "TR-2008-115", institution = "IT University of Copenhagen", ) @inproceedings(debois11calculation, author = "S. Debois", title = "Computation in the Informatic Jungle", note = "To appear. Draft available at \url {http://www.itu.dk/people/debois/pubs/computation.pdf}", ) @inproceedings(Elsborg:08:TypeSystForBigaphs, author = "E. Elsborg and T. Hildebrandt and D. Sangiorgi", year = "2009", title = "Type Systems for Bigraphs", editor = "Christos Kaklamanis and Flemming Nielson", booktitle = "Proceedings of the 4th International Symposium on Trustworthy Global Computing (TGC 2008)", series = "Lecture Notes in Computer Science", volume = "5474", publisher = "Springer-Verlag", pages = "126--140", doi = "10.1007/978-3-642-00945-7\_8", ) @inproceedings(goldsmith2010refinement, author = "M. Goldsmith and S. Creese", year = "2010", title = "Refinement-Friendly Bigraphs and Spygraphs", booktitle = "2010 8th IEEE International Conference on Software Engineering and Formal Methods", publisher = "IEEE", pages = "203--207", doi = "10.1109/SEFM.2010.25", url = "http://ieeexplore.ieee.org/lpdocs/epic03/wrapper.htm?arnumber=5637430", ) @inproceedings(GrohmannMiculan:2007:ReactSysOverDirectedBig, author = "D. Grohmann and M. Miculan", year = "2007", title = "Reactive Systems over Directed Bigraphs", editor = "Lu\'{\i }s Caires and Vasco Thudichum Vasconcelos", booktitle = "Proceedings of the 18th International Conference on Concurrency Theory (CONCUR'07)", series = "Lecture Notes in Computer Science", volume = "4703", publisher = "Springer-Verlag", pages = "380--394", doi = "10.1007/978-3-540-74407-8\_26", ) @article(Hennessy85thepower, author = "M. Hennessy and C. Stirling", year = "1985", title = "The power of the future perfect in program logics", journal = "Information and Control", pages = "23--52", ) @inproceedings(HildeBrandtEtAl:2006:BPEL, author = "T. Hildebrandt and H. Niss and M. Olsen", year = "2006", title = "Formalising Business Process Execution with Bigraphs and {R}eactive {XML}", editor = "Paolo Ciancarini and Herbert Wiklicky", booktitle = "Proceedings of the 8th International Conference on Coordination Models and Languages (COORDINATION'06)", series = "Lecture Notes in Computer Science", volume = "4038", publisher = "Springer-Verlag", pages = "113--129", doi = "10.1007/11767954\_8", ) @inproceedings(Hildebrandt99categoricalmodels, author = "T.T. Hildebrandt", year = "1999", title = "Categorical Models for Fairness and a Fully Abstract Presheaf Semantics of SCCS with Finite Delay", booktitle = "CTCS'99", series = "LNCS", doi = "10.1016/S1571-0661(05)80311-1", ) @unpublished(jensen06mobile, author = "O.H. Jensen", year = "2006", title = "Mobile Processes in Bigraphs", note = "Available at \url {http://www.cl.cam.ac.uk/ rm135/Jensen-monograph.pdf}", ) @article(krivine2008stochastic, author = "J. Krivine and R. Milner and A. Troina", year = "2008", title = "{Stochastic bigraphs}", journal = "Electronic Notes in Theoretical Computer Science", volume = "218", pages = "73--96", doi = "10.1016/j.entcs.2008.10.006", ) @article(leifer06transition, author = "J. Leifer and R. Milner", year = "2006", title = "Transition systems, link graphs and Petri nets", journal = "Journal of Mathematical Structures in Computer Science", volume = "16", number = "6", pages = "989--1047", doi = "10.1017/S0960129506005664", ) @book(milner1980calculus, author = "R. Milner", year = "1980", title = "{A calculus of communicating systems}", publisher = "Springer-Verlag", ) @article(milner05axioms, author = "R. Milner", year = "2005", title = "Axioms for Bigraphical Structure", journal = "Journal of Mathematical Structures in Computer Science", volume = "15", number = "6", pages = "1005--1032", doi = "10.1017/S0960129505004809", ) @article(milner06pure, author = "R. 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", ) @inproceedings(Milner:07:LocalBigraphsAndConfluence, author = "R. Milner", year = "2007", title = "Local Bigraphs and Confluence: Two Conjectures: (Extended Abstract)", editor = "Roberto Amadio and Iain Phillips", booktitle = "Proceedings of the 13th International Workshop on Expressiveness in Concurrency (EXPRESS 2006)", series = "Electronic Notes in Theoretical Computer Science", volume = "175", publisher = "Elsevier", doi = "10.1016/j.entcs.2006.07.035", ) @book(milner2009space, author = "R. Milner", year = "2009", title = "{The space and motion of communicating agents}", publisher = "Cambridge University Press", ) @inproceedings(conchuir2009kind, author = "S. \'{O} Conch\'{u}ir", year = "2009", title = "Kind Bigraphs", editor = "Anthony Seda and Menouer Boubekeur and Ted Hurley and Micheal Mac an Airchinnigh and Michel Schellekens and Glenn Strong", booktitle = "Proceedings of the Irish Conference on the Mathematical Foundations of Computer Science and Information Technology (MFCSIT 2006)", series = "Electronic Notes in Theoretical Computer Science", volume = "225", publisher = "Elsevier", pages = "361--377", doi = "10.1016/j.entcs.2008.12.086", ) @article(reeves2008general1, author = "S. Reeves and D. Streader", year = "2008", title = "{General refinement, part one: interfaces, determinism and special refinement}", journal = "Electronic Notes in Theoretical Computer Science", volume = "214", pages = "277--307", doi = "10.1016/j.entcs.2008.06.013", ) @article(reeves2008general2, author = "S. Reeves and D. Streader", year = "2008", title = "{General refinement, part two: flexible refinement}", journal = "Electronic Notes in Theoretical Computer Science", volume = "214", pages = "309--329", doi = "10.1016/j.entcs.2008.06.014", ) @inproceedings(zhang08bigraphical, author = "M. Zhang and L. Shi and L. Zhu and Y. Wang and L. Feng and G. Pu", year = "2008", title = "A Bigraphical Model of WSBPEL", booktitle = "Second Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE'08)", publisher = "IEEE Computer Society", pages = "117--120", )