Game equivalence and expressive power of game description languages: a bisimulation approach - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Guifei Jiang, Laurent Perrussel, Dongmo Zhang, Heng Zhang 0006, Yuzhi Zhang. Game equivalence and expressive power of game description languages: a bisimulation approach. Journal of Logic and Computation, 33(1):163-187, January 2023. [doi]

This author has not been identified. Look up 'Guifei Jiang' in GoogleThis author has not been identified. Look up 'Laurent Perrussel' in GoogleThis author has not been identified. Look up 'Dongmo Zhang' in GoogleThis author has not been identified. Look up 'Heng Zhang 0006' in GoogleThis author has not been identified. Look up 'Yuzhi Zhang' in Google

runs on WebDSL