Process equivalences as global bisimulations

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

ISSN: 0958-695X,  0948-6968

Année de publication: 2006

Volumen: 12

Número: 11

Pages: 1521-1550

Type: Communication dans un congrès

GOOGLE SCHOLAR
La source de données: Scopus