Topics in Concurrency notes, p67. "We see that a binary relation $R$ between processes is a strong bisimulation iff $R \subseteq \varphi(R)$". Is this obvious, or did he leave the proof because it's tedious? Peter ===== Peter Taylor pjt33@cam.ac.uk