gcm2012.bib

@unpublished{jensen06mobile,
  author = {Jensen, O.H.},
  title = {Mobile Processes in Bigraphs},
  note = {Available at \url{http://www.cl.cam.ac.uk/~rm135/Jensen-monograph.pdf}},
  month = {October},
  year = 2006
}
@article{leifer06transition,
  author = {Leifer, J. and Milner, R.},
  title = {{Transition systems, link graphs and Petri nets}},
  journal = {Journal of Mathematical Structures in Computer Science},
  year = 2006,
  volume = 16,
  number = 6,
  pages = {989--1047},
  doi = {10.1017/S0960129506005664}
}
@article{milner06pure,
  author = {Milner, R.},
  title = {Pure Bigraphs: Structure and Dynamics},
  journal = {Information and Computation},
  year = 2006,
  volume = 204,
  number = 1,
  pages = {60--122},
  month = jan,
  doi = {10.1016/j.ic.2005.07.003}
}
@inproceedings{HildeBrandtEtAl:2006:BPEL,
  title = {{Formalising Business Process Execution with Bigraphs
                  and {R}eactive {XML}}},
  author = {Hildebrandt, T.T. and Niss, H. and Olsen, M.},
  booktitle = {COORDINATION'06},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer-Verlag},
  month = jan,
  volume = 4038,
  year = 2006,
  pages = {113--129},
  pdf = {http://www.itu.dk/people/hniss/pubs/coordination2006.pdf},
  doi = {10.1007/11767954\_8}
}
@techreport{damgaard2008generic,
  title = {{A generic language for biological systems based on bigraphs}},
  author = {Damgaard, T.C. and Krivine, J.},
  year = {2008},
  institution = {Citeseer}
}
@inproceedings{calder2012process,
  title = {Process algebra for event-driven runtime verification: a case study of wireless network management},
  author = {Calder, M. and Sevegnani, M.},
  booktitle = {Integrated Formal Methods},
  pages = {21--23},
  year = {2012},
  organization = {Springer}
}
@conference{birkedal2006bigraphical,
  title = {{Bigraphical models of context-aware systems}},
  author = {Birkedal, L. and Debois, S. and Elsborg, E. and Hildebrandt, T.T. and Niss, H.},
  booktitle = {Foundations of Software Science and Computation Structures},
  pages = {187--201},
  year = {2006},
  organization = {Springer},
  doi = {10.1007/11690634\_13}
}

This file was generated by bibtex2html 1.97.