 | 2009 |
|---|
| 7 |       | Mikkel Bundgaard,
Jens Chr. Godskesen,
Bjørn Haagensen,
Hans Hüttel:
Decidable Fragments of a Higher Order Calculus with Locations.
Electr. Notes Theor. Comput. Sci. 242(1): 113-138 (2009) |
| 2008 |
|---|
| 6 | | 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: 83-99 |
| 2007 |
|---|
| 5 | | Mikkel Bundgaard,
Thomas T. Hildebrandt,
Jens Chr. Godskesen:
Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources.
Electr. Notes Theor. Comput. Sci. 194(1): 23-38 (2007) |
| 2006 |
|---|
| 4 | | Mikkel Bundgaard,
Vladimiro Sassone:
Typed polyadic pi-calculus in bigraphs.
PPDP 2006: 1-12 |
| 3 | | Mikkel Bundgaard,
Thomas T. Hildebrandt:
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names.
Electr. Notes Theor. Comput. Sci. 154(2): 7-29 (2006) |
| 2 | | Mikkel Bundgaard,
Thomas T. Hildebrandt,
Jens Chr. Godskesen:
A CPS encoding of name-passing in Higher-order mobile embedded resources.
Theor. Comput. Sci. 356(3): 422-439 (2006) |
| 2005 |
|---|
| 1 | | Mikkel Bundgaard,
Thomas T. Hildebrandt,
Jens Chr. Godskesen:
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources.
Electr. Notes Theor. Comput. Sci. 128(2): 131-150 (2005) |
