Ebbe Elsborg

According to our database, Ebbe Elsborg authored at least 3 papers between 2004 and 2008.

Collaborative distances:

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

2008

Type Systems for Bigraphs.

Ebbe Elsborg, Thomas T. Hildebrandt, Davide Sangiorgi

Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

2006

Bigraphical Models of Context-Aware Systems.

Lars Birkedal, Søren Debois, Ebbe Elsborg, Thomas T. Hildebrandt, Henning Niss

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2004

Compositional Specification of Commercial Contracts.

Jesper Andersen, Ebbe Elsborg, Fritz Henglein, Jakob Grue Simonsen, Christian Stefansen

Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004