Falk Bartels

According to our database¹, Falk Bartels authored at least 3 papers between 2001 and 2004.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2004

A hierarchy of probabilistic system types.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2004

2002

GSOS for Probabilistic Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2002

2001

Generalised Coinduction.

[BibT_eX]

[DOI]

Proceedings of the Coalgebraic Methods in Computer Science, 2001