On the Unification of Process Semantics: Equational Semantics
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Ano de publicación: 2009
Volume: 249
Páxinas: 243-267
Tipo: Artigo