@misc{Bundgaard:06:HandinForDerivApprCalcEvalAbsMach,
author = {Mikkel Bundgaard},
title = {Handin for the {PhD}\ Course A Derivational Approach to Calculi, Evaluation, and Abstract Machines},
opthowpublished = {},
year = 2006,
optnote = {},
pdf = {http://itu.dk/people/mikkelbu/papers/derivationalApproach.pdf},
abstract = {In this report we examine the transformation of an
big-step relation, for finding matches in place
graphs, into a small-step transition relation which
solves the same task.}
}
@misc{Bundgaard:04:IntroMobilWorkbench,
author = {Mikkel Bundgaard},
title = {Introduction to the Mobility Workbench},
opthowpublished = {},
year = 2004,
note = {Part of the curriculum for the course Modelbased design of distributed and mobile systems},
optpdf = {},
abstract = {}
}
@misc{Hildebrandt:07:CosmoBizPositionPaper,
author = {Hildebrandt, Thomas and Niss, Henning and Bundgaard, Mikkel and Schmidt, Kjeld and Jensen, Thomas},
title = {Computer Supported Mobile Adaptive Business Processes: Position paper on the CosmoBiz research project (2007-2010)},
opthowpublished = {},
optmonth = {},
note = {In Proceedings of 1st Informal Workshop on Formal Models and
Notations for Business Process Execution, Service Oriented Computing and CSCW"},
year = 2007,
pdf = {http://www.itu.dk/people/hniss/pubs/positionpaper.pdf},
abstract = {Dynamic evolution of workflow process descriptions
and active instances has been an active research
area since the mid 1990s. Most work has been based
on flow-graph meta models formalised as variations
of Petri Nets. We present a new research project on
Computer Supported Mobile Adaptive Business
Processes (CosmoBiz) initiated in January 2007
jointly with Microsoft Development Center
Copenhagen, which will extend this work to mobile
and distributed workflows, by uniting research in
formal models for graph rewriting and typed process
calculi, design and implementation of distributed
and peer-to-peer systems, and computer supported
collaborative work.}
}
@unpublished{Bundgaard:09:DecidFragOfHomerLong,
author = {Mikkel Bundgaard and Godskesen, Jens Chr. and Bj\o rn Haagensen and Hans H\"uttel},
title = {Decidable Fragments of a Higher Order Calculus with Locations},
note = {Long version of \cite{Bundgaard:09:DecidFragOfHomer}. Submitted for publication.},
year = {2009}
}
This file was generated by bibtex2html 1.96.