Matching Systems for Concurrent Calculi. - Bjørn Haagensen; Sergio Maffeis; Iain Phillips 001 (EXPRESS, 2007)

Decidable Fragments of a Higher Order Calculus with Locations. - Mikkel Bundgaard; Jens Chr. Godskesen; Bjørn Haagensen; Hans Hüttel (EXPRESS, 2008)

Parametrised Constants and Replication for Spatial Mobility. - Bjørn Haagensen; Hans Hüttel (COORDINATION, 2009)