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

Any de publicació: 2006

Volum: 12

Número: 11

Pàgines: 1521-1550

Tipus: Aportació congrés

GOOGLE SCHOLAR
Font de les dades: Scopus