Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. - Mikkel Bundgaard; Arne J. Glenstrup; Thomas T. Hildebrandt; Espen Højsgaard; Henning Niss (COORDINATION, 2008)

Formal Cellular Machinery. - Troels Christoffer Damgaard; Espen Højsgaard; Jean Krivine (SASB, 2011)

Core BPEL: syntactic simplification of WS-BPEL 2.0. - Espen Højsgaard; Tim Hallwyl (SAC, 2012)