Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
ISSN: 1571-0661
Ano de publicación: 2008
Volume: 206
Número: C
Páxinas: 41-58
Tipo: Artigo
ISSN: 1571-0661
Ano de publicación: 2008
Volume: 206
Número: C
Páxinas: 41-58
Tipo: Artigo