Barbed Bisimulation

@incollection{barbed-bisim92,
   apice = {BarbedBisimLncs623},
   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
}