@incollection{barbedBisim92, Author = {Milner, Robin and Sangiorgi, Davide}, Booktitle = {Automata, Languages and Programming}, Editor = {Kuich, W.}, Pages = {685--695}, Publisher = {Springer-Verlag}, Series = {Lecture Notes in Computer Science}, Title = {Barbed Bisimulation}, Volume = 623, Year = 1992}