Falk Bartels

According to our database, Falk Bartels authored at least 4 papers between 2002 and 2004.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2004

On generalised coinduction and probabilistic specification formats: distributive laws in coalgebraic modelling.

Falk Bartels

PhD thesis, 2004

A hierarchy of probabilistic system types.

Falk Bartels, Ana Sokolova, Erik P. de Vink

Theor. Comput. Sci., 2004

2003

Generalised Coinduction.

Falk Bartels

Math. Struct. Comput. Sci., 2003

2002

GSOS for Probabilistic Transition Systems.

Falk Bartels

Proceedings of the Coalgebraic Methods in Computer Science, 2002