Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations
ISSN: 1571-0661
Year of publication: 2008
Volume: 206
Issue: C
Pages: 41-58
Type: Article
ISSN: 1571-0661
Year of publication: 2008
Volume: 206
Issue: C
Pages: 41-58
Type: Article