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

Partita IVA: 01131710376 — Copyright © 2008–2023 APICe@DISI – PRIVACY