Formalising Business Process Execution with Bigraphs and Reactive XML.

Thomas T. Hildebrandt, Henning Niss, Martin Olsen

Browse the full Coordination paper archive.