Mikkel Bundgaard

According to our database, Mikkel Bundgaard authored at least 7 papers between 2005 and 2010.

Collaborative distances:

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

2010

Unfolding CSP.

Mikkel Bundgaard, Robin Milner

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2008

Decidable Fragments of a Higher Order Calculus with Locations.

Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel

Proceedings of the 15th Workshop on Expressiveness in Concurrency, 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

2007

Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources.

Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen

Proceedings of the Fifth Workshop on Security Issues in Concurrency, 2007

2006

A CPS encoding of name-passing in Higher-order mobile embedded resources.

Mikkel Bundgaard, Thomas T. Hildebrandt, Jens Chr. Godskesen

Theor. Comput. Sci., 2006

Typed polyadic pi-calculus in bigraphs.

Mikkel Bundgaard, Vladimiro Sassone

Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2006

2005

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names.

Mikkel Bundgaard, Thomas T. Hildebrandt

Proceedings of the Workshop on Graph Transformation for Verification and Concurrency, 2005