Process equivalences as global bisimulations

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

ISSN: 0958-695X,  0948-6968

Argitalpen urtea: 2006

Alea: 12

Zenbakia: 11

Orrialdeak: 1521-1550

Mota: Biltzar ekarpena

GOOGLE SCHOLAR
Datuen iturria: Scopus