Bjørn Haagensen

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

Bjørn Haagensen, Hans Hüttel
Parametrised Constants and Replication for Spatial Mobility. COORDINATION (2009)
Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel
Decidable Fragments of a Higher Order Calculus with Locations. EXPRESS (2008)
Bjørn Haagensen, Sergio Maffeis, Iain Phillips
Matching Systems for Concurrent Calculi. EXPRESS (2007)