Falk Bartels

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2003

A hierarchy of probabilistic system types.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

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