Espen Højsgaard

According to our database, Espen Højsgaard authored at least 3 papers between 2008 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Core BPEL: syntactic simplification of WS-BPEL 2.0.

Espen Højsgaard, Tim Hallwyl

Proceedings of the ACM Symposium on Applied Computing, 2012

2011

Formal Cellular Machinery.

Troels Christoffer Damgaard, Espen Højsgaard, Jean Krivine

Proceedings of the 2nd International Workshop on Static Analysis and Systems Biology, 2011

2008

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

Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hildebrandt, Espen Højsgaard, Henning Niss

Proceedings of the Coordination Models and Languages, 10th International Conference, 2008