Christian Clausen

	1995
4		Mogens Nielsen, Christian Clausen: Games and Logics for a Noninterleaving Bisimulation. Nord. J. Comput. 2(2): 221-249 (1995)
	1994
3		Mogens Nielsen, Christian Clausen: Bisimulation for Models in Concurrency. CONCUR 1994: 385-400
2		Mogens Nielsen, Christian Clausen: Bisimulation, Games, and Logic. Results and Trends in Theoretical Computer Science 1994: 289-306
1		Bettina Blaaberg, Christian Clausen: Adequacy for a Lazy Functional Language with Recursive and Polymorphic Types. Theor. Comput. Sci. 136(1): 243-275 (1994)

Coauthor Index

1	Bettina Blaaberg	[1]
2	Mogens Nielsen	[2] [3] [4]

Colors in the list of coauthors