for my chapter
, 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.