TR-2007-101

A Realizability Model for Impredicative Hoare Type Theory
Authors: R.L. Petersen, L. Birkedal, A. Nanevski, and G. Morrisett

TR-2007-100

Preliminary Proceedings of the 14th International Workshop on Expressiveness in Concurrency (EXPRESS'07)
Authors: Roberto Amadio and Thomas Hildebrandt

TR-2007-98

A Calculus for Mobile Ad Hoc Networks
Author: Jens Chr. Godskesen

TR-2007-97

Typing Linear and Non-Linear Higher-Order Mobile Embedded Resources with Local Names
Authors: Mikkel Bundgaard, Thomas Hildebrandt, and Jens Chr. Godskesen

TR-2007-96

Early Experiences on Adopting BPM and SOA. An Empirical Study
Author: Steen Brahe