Bjørn Haagensen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2009

3 Bjørn Haagensen, Hans Hüttel: Parametrised Constants and Replication for Spatial Mobility. COORDINATION 2009: 123-142

2 Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel: Decidable Fragments of a Higher Order Calculus with Locations. Electr. Notes Theor. Comput. Sci. 242(1): 113-138 (2009)

2008

1 Bjørn Haagensen, Sergio Maffeis, Iain Phillips: Matching Systems for Concurrent Calculi. Electr. Notes Theor. Comput. Sci. 194(2): 85-99 (2008)

	2009
3		Bjørn Haagensen, Hans Hüttel: Parametrised Constants and Replication for Spatial Mobility. COORDINATION 2009: 123-142
2		Mikkel Bundgaard, Jens Chr. Godskesen, Bjørn Haagensen, Hans Hüttel: Decidable Fragments of a Higher Order Calculus with Locations. Electr. Notes Theor. Comput. Sci. 242(1): 113-138 (2009)
	2008
1		Bjørn Haagensen, Sergio Maffeis, Iain Phillips: Matching Systems for Concurrent Calculi. Electr. Notes Theor. Comput. Sci. 194(2): 85-99 (2008)

Coauthor Index

1	Mikkel Bundgaard	[2]
2	Jens Chr. Godskesen	[2]
3	Hans Hüttel	[2] [3]
4	Sergio Maffeis	[1]
5	Iain C. C. Phillips (Iain Phillips)	[1]