Barbed Bisimulation

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