Publications conferences and workshops Talks Students Teaching RL Lab Links curricullum

Home > Publications

  • selected publications
  • Errata for my chapter Probabilistic Bisimulation, Chapter 7 in the book, Advanced Topics in Bisimulation and Coinduction ed. by Sangiorgi and Rutten.
  • Informal notes on category theory.
  • A short proof that parallel convergence tester cannot implement parallel or.
  • A short paper showing that amb has no fixed point semantics.
  • A short paper showing that amb cannot be monotone in the Smyth or Plotkin sense. Mainly due to Paul B. Levy and Soren Lassen.