Generalised Coinduction. - Falk Bartels (CMCS, 2001)

GSOS for Probabilistic Transition Systems. - Falk Bartels (CMCS, 2002)

A hierarchy of probabilistic system types. - Falk Bartels; Ana Sokolova; Erik P. de Vink (Theor. Comput. Sci., 2004)