Falk Bartels

Generalised Coinduction

Falk Bartels, 2001, CMCS.

Generalised coinduction

Falk Bartels, F. Bartels, 2003, Mathematical Structures in Computer Science.

GSOS for Probabilistic Transition Systems

Falk Bartels, F. Bartels, 2002, CMCS.

A hierarchy of probabilistic system types

Erik P. de Vink, Ana Sokolova, Falk Bartels, 2003, CMCS.

A hierarchy of probabilistic system types

Erik P. de Vink, Ana Sokolova, Falk Bartels, 2003, CMCS.