The Problem of "Weak Bisimulation up to"

Authors: Davide Sangiorgi, Robin Milner - Lecture notes in computer science 1992 cited by 178