Robin Milner, Davide Sangiorgi

Automata, Languages and Programming, Lecture Notes in Computer Science 623, pages 685695, 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}

Tags:
    

Publication

Barbed Bisimulation

— status

published  

— authors

Robin Milner, Davide Sangiorgi

— editors

W. Kuich

BibTeX

— BibTeX ID
barbedBisim92
— BibTeX category
incollection

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY