On the Unification of Process Semantics: Equational Semantics
Revue:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Année de publication: 2009
Volumen: 249
Pages: 243-267
Type: Article