Process equivalences as global bisimulations

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

ISSN: 0958-695X,  0948-6968

Datum der Publikation: 2006

Ausgabe: 12

Nummer: 11

Seiten: 1521-1550

Art: Konferenz-Beitrag

GOOGLE SCHOLAR
Datenquelle: Scopus