Barbed Bisimulation

@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}