TY - GEN AU - Casrellani, Ilaria TI - Distributed bisimulations PY - 1988/// CY - Paris PB - I. N. R. I. A N1 - Contine bibliografie ER -