MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Mikkel Bundgaard" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

12 documents found, showing 1 through 10. Next 10 →

ATOM

Typed polyadic pi-calculus in bigraphs
by Mikkel Bundgaard, Vladimiro Sassone — 2006 — Proceedings of the 8th International Symposium on Principles and Practice of Declarative Programming (PPDP'06)
…Abstract Typed polyadic pi-calculus in bigraphs ∗ Mikkel Bundgaard IT University of Copenhagen…
Cited by 4 (0 self) – Add To MetaCart

Bigraphical Semantics of Higher-Order Mobile Embedded Resources with Local Names
by Mikkel Bundgaard, Thomas Hildebrandt — 2006 — Proceedings of the Graph Transformation for Verification and Concurrency workshop (GT-VC'05)
… with Local Names 1 Mikkel Bundgaard 2 Thomas Hildebrandt 3 Department of Theoretical Computer Science…
Cited by 16 (8 self) – Add To MetaCart

Typed Polyadic Pi-Calculus in Bigraphs
by Mikkel Bundgaard It, Mikkel Bundgaard — 2006 — In: PPDP ‘06
…Abstract Typed polyadic pi-calculus in bigraphs ∗ Mikkel Bundgaard IT University of Copenhagen…
Add To MetaCart

Seamlessly Distributed & Mobile Workflow or: The right processes at the right places ∗
by Mikkel Bundgaard, Thomas Hildebrandt, Espen Højsgaard
…Seamlessly Distributed & Mobile Workflow or: The right processes at the right places ∗ Mikkel…
Add To MetaCart

Bisimulation Congruences For Homer
by Thomas Hildebrandt, Jens Chr Godskesen, Mikkel Bundgaard — 2004 — IT University of Copenhagen
… Hildebrandt Jens Chr. Godskesen Mikkel Bundgaard IT University Technical Report Series TR-2004-52 ISSN 1600…
Add To MetaCart

A CPS encoding of name-passing in higher-order mobile embedded resources
by Mikkel Bundgaard, Thomas Hildebrandt, Jens Chr Godskesen — 2004 — Proceedings of the 11th International Workshop on Expressiveness in Concurrency (EXPRESS’04)
…A CPS Encoding of Name-Passing in Higher-Order Mobile Embedded Resources Mikkel Bundgaard Thomas…
Cited by 3 (3 self) – Add To MetaCart

Modelling the Security of Smart Cards by Hard and Soft Types for Higher-Order Mobile Embedded Resources
by Mikkel Bundgaard, Thomas Hildebrandt, Jens Chr Godskesen — 2007 — Proceedings of the 5th International Workshop on Security Issues in Concurrency (SecCo'07)
… Types for Higher-Order Mobile Embedded Resources 1 Abstract Mikkel Bundgaard and Thomas Hildebrandt 2…
Cited by 1 (1 self) – Add To MetaCart

Formalizing higher-order mobile embedded business processes with binding bigraphs
by Mikkel Bundgaard, Arne John Glenstrup, Thomas Hildebr, Henning Niss — 2008 — In Proceedings of COORDINATION 08, Lecture Notes in Computer Science
…Formalizing Higher-order Mobile Embedded Business Processes with Binding Bigraphs ⋆ Mikkel…
Cited by 2 (1 self) – Add To MetaCart

Web www.itu.dk Typing Linear and Non-Linear Higher-Order Mobile Embedded Resources with Local Names
by Mikkel Bundgaard, Thomas Hildebrandt, Jens Chr Godskesen, Thomas Hildebrandt, Jens Chr Godskesen, Mikkel Bundgaard, Thomas Hildebrandt, Jens Chr Godskesen — 1600
…–6100 May 2007 Copyright c○ 2007, Mikkel Bundgaard Thomas Hildebrandt Jens Chr. Godskesen IT University…
Add To MetaCart

CPS Encoding of Name-Passing in Higher-order Mobile Embedded Resources Mikkel Bundgaard, Thomas Hildebrandt, and Jens Chr. Godskesen {mikkelbu,hilde,jcg}@itu.dk
by Department Of Theoretical, Mikkel Bundgaard, Thomas Hildebr, Jens Chr Godskesen, Why Homer
…A CPS Encoding of Name-Passing in Higher-order Mobile Embedded Resources Mikkel Bundgaard, Thomas…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB