Author:
Zhang Shasha,Zhou Jie,Ma Yanfang,Pan Haiyu
Reference40 articles.
1. Reactive Systems
2. Alternating refinement relations;R Alur;Proc. 9th Int. Conf. Concurrency Theory,1998
3. Alternating-time temporal logic;R Alur;J. ACM,2002
4. Bisimulations for fuzzy-transition systems;Y Cao;IEEE Trans. Fuzzy Syst,2011