Bjørn Haagensen
- 2009
-
Udgivet
Decidable Fragments of a Higher Order Calculus with Locations. / Hüttel, Hans; Godskesen, Jens Christian; Haagensen, Bjørn; Bundgaard, Mikkel.
Proceedings of the 15th Workshop on Expressiveness in Concurrency (EXPRESS 2008). red. / Daniele Gorla; Thomas Hildebrandt. Elsevier Science, 2009. s. 113-138 (Electronic Notes in Theoretical Computer Science; Nr. 242, Vol. 1).Publikation: Forskning - peer review › Konferenceartikel i proceeding
-
Udgivet
Parametrised Constants and Replication for Spatial Mobility. / Hüttel, Hans; Haagensen, Bjørn.
I: Lecture Notes in Computer Science, Vol. 5521, 2009, s. 123-142.Publikation: Forskning - peer review › Konferenceartikel i tidsskrift
- 2008
-
Udgivet
Matching Systems for Concurrent Calculi. / Haagensen, Bjørn; Maffeis, S.; Phillips, I.
I: Electronical Notes in Theoretical Computer Science, Vol. 194, Nr. 2, 2008, s. 85-99.Publikation: Forskning - peer review › Tidsskriftartikel