A modal characterization of alternating approximate bisimilarity.

Jinjin Zhang Zhaohui Zhu

Published in: Formal Methods Syst. Des. (2014)

Keyphrases

data sets
special case
modal logic
exact solution