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.