Falk Bartels

	2004
5		Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Theor. Comput. Sci. 327(1-2): 3-22 (2004)
	2003
4		Falk Bartels, Ana Sokolova, Erik P. de Vink: A hierarchy of probabilistic system types. Electr. Notes Theor. Comput. Sci. 82(1): (2003)
3		Falk Bartels: Generalised Coinduction. Mathematical Structures in Computer Science 13(2): 321-348 (2003)
	2002
2		Falk Bartels: GSOS for Probabilistic Transition Systems. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
	2001
1		Falk Bartels: Generalised Coinduction. Electr. Notes Theor. Comput. Sci. 44(1): (2001)

Coauthor Index

1	Ana Sokolova	[4] [5]
2	Erik P. de Vink	[4] [5]