Barbed Bisimulation

   page       BibTeX_logo.png   
Robin Milner, Davide Sangiorgi
W. Kuich (eds.)
Automata, Languages and Programming, pages 685–695
Lecture Notes in Computer Science 623
Springer-Verlag
1992