Ebbe Elsborg

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2008
Type Systems for Bigraphs.
Proceedings of the Trustworthy Global Computing, 4th International Symposium, 2008

2006
Bigraphical Models of Context-Aware Systems.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

2004
Compositional Specification of Commercial Contracts.
Proceedings of the International Symposium on Leveraging Applications of Formal Methods, 2004


  Loading...