Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs.

Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Hjsgaard, Henning Niss

Browse the full Coordination paper archive.