Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
ISSN: 1571-0661
Année de publication: 2008
Volumen: 206
Número: C
Pages: 41-58
Type: Article
ISSN: 1571-0661
Année de publication: 2008
Volumen: 206
Número: C
Pages: 41-58
Type: Article