Process equivalences as global bisimulations

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

ISSN: 0958-695X,  0948-6968

Year of publication: 2006

Volume: 12

Issue: 11

Pages: 1521-1550

Type: Conference paper

GOOGLE SCHOLAR
Data source: Scopus