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

Ano de publicación: 2006

Volume: 12

Número: 11

Páxinas: 1521-1550

Tipo: Achega congreso

GOOGLE SCHOLAR
Fonte de datos: Scopus