Espen Højsgaard

Publication Activity (10 Years)

Years Active: 2008-2012
Publications (10 Years): 0

Top Topics

Business Processes

Formal Language

Asynchronous Communication

Syntactic Semantic

Top Venues

Electron. Notes Theor. Comput. Sci.

Publications

Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine
Formal Cellular Machinery. Electron. Notes Theor. Comput. Sci. 284 (2012)
Espen Højsgaard, Tim Hallwyl
Core BPEL: syntactic simplification of WS-BPEL 2.0. SAC (2012)
Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss
Formalizing Higher-Order Mobile Embedded Business Processes with Binding Bigraphs. COORDINATION (2008)