Falk Bartels

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

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

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

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

2001
Generalised Coinduction.
Proceedings of the Coalgebraic Methods in Computer Science, 2001


  Loading...