Jan Rothe

According to our database, Jan Rothe authored at least 5 papers between 2001 and 2004.

Collaborative distances:

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

2004

Behavioural equivalences for coalgebras.

Jan Rothe

PhD thesis, 2004

2003

Modal Logics for Observation Equivalences.

Jan Rothe, Dragan Masulovic

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

2002

Towards Weak Bisimulation For Coalgebras.

Jan Rothe, Dragan Masulovic

Proceedings of the Categorical Methods for Concurrency, 2002

A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras.

Jan Rothe

Proceedings of the Coalgebraic Methods in Computer Science, 2002

2001

The Coalgebraic Class Specification Language CCSL.

Jan Rothe, Hendrik Tews, Bart Jacobs

J. Univers. Comput. Sci., 2001