Falk Bartels

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2004
On generalised coinduction and probabilistic specification formats: distributive laws in coalgebraic modelling.
PhD thesis, 2004

A hierarchy of probabilistic system types.
Theor. Comput. Sci., 2004

2003
Generalised Coinduction.
Math. Struct. Comput. Sci., 2003

2002
GSOS for Probabilistic Transition Systems.
Proceedings of the Coalgebraic Methods in Computer Science, 2002


  Loading...