Process equivalences as global bisimulations

  1. De Frutos Escrig, D.
  2. Rodríguez, C.G.
Revista:
Journal of Universal Computer Science

ISSN: 0958-695X,  0948-6968

Año de publicación: 2006

Volumen: 12

Número: 11

Páginas: 1521-1550

Tipo: Aportación congreso

GOOGLE SCHOLAR
Fuente de los datos: Scopus