Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss. Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. In Doug Lea, Gianluigi Zavattaro, editors, Coordination Models and Languages, 10th International Conference, COORDINATION 2008, Oslo, Norway, June 4-6, 2008. Proceedings. Volume 5052 of Lecture Notes in Computer Science, pages 83-99, Springer, 2008. [doi]
Abstract is missing.