Journal Papers

  • "An Implementation of Bigraph Matching."
    Glenstrup, A. J., Damgaard, T. C., Birkedal, L., and Højsgaard, E..
    Preprint submitted for publication. October 2007. [pdf]

Conference and Workshop Papers

  • "Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs"
    Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., Højsgaard, E., and Niss, H.
    Proceedings of COORDINATION 2008, 10th International Conference on Coordination Models and Languages. June 2008. [pdf] (published by Springer)
  • "Seamlessly Distributed & Mobile Workflow - or: The right processes at the right places"
    Bundgaard, M., Hildebrandt, T., and Højsgaard, E.
    Pre-proceedings of PLACES 2008, Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software. June 2008. [pdf]
  • "Formalizing WS-BPEL in Binding Bigraphs"
    Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., and Højsgaard, E.
    Preprint submitted for publication. May 2008. [pdf]

Technical Reports

  • "Formalizing WS-BPEL and Higher Order Mobile Embedded Business Processes in the Bigraphical Programming Languages (BPL) Tool"
    Bundgaard, M., Glenstrup, A. J., Hildebrandt, T., Højsgaard, E., and Niss, H.
    IT University of Copenhagen. TR-2008-103. June 2008. [pdf]