APICe » Publications » barbedBisim92

Barbed Bisimulation

Robin Milner, Davide Sangiorgi
Automata, Languages and Programming, Lecture Notes in Computer Science 623, pages 685--695, 1992.
W. Kuich (eds.), Springer-Verlag 
@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}