Mikkel Bundgaard

Publication Activity (10 Years)

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

Publications

Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel
Decidable Fragments of a Higher Order Calculus with Locations. EXPRESS (2008)
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)
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. Electron. Notes Theor. Comput. Sci. 194 (1) (2007)
Mikkel Bundgaard, Vladimiro Sassone
Typed polyadic pi-calculus in bigraphs. PPDP (2006)
Mikkel Bundgaard, Thomas T. Hildebrandt
Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names. Electron. Notes Theor. Comput. Sci. 154 (2) (2006)
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) (2006)
Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen
A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources. EXPRESS (2004)