Author:
Cranen Sjoerd,Keiren Jeroen J. A.,Willemse Tim A. C.
Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Badban, B., Fokkink, W., Groote, J.F., Pang, J., van de Pol, J.: Verification of a sliding window protocol in μCRL and PVS. Formal Aspects of Computing 17, 342–388 (2005)
2. Blom, S., Orzan, S.: Distributed branching bisimulation reduction of state spaces. ENTCS 89(1) (2003)
3. Browne, M.C., Clarke, E.M., Grumberg, O.: Characterizing finite Kripke structures in propositional temporal logic. Theor. Comput. Sci. 59, 115–131 (1988)
4. Lecture Notes in Computer Science;T. Chen,2007
5. Cranen, S., Keiren, J.J.A., Willemse, T.A.C.: Stuttering equivalence for parity games, arXiv:1102.2366 [cs.LO] (2011)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Cooking Your Own Parity Game Preorders Through Matching Plays;International Journal of Foundations of Computer Science;2018-06
2. Parity game reductions;Acta Informatica;2017-08-04
3. On Parity Game Preorders and the Logic of Matching Plays;Lecture Notes in Computer Science;2016
4. Benchmarks for Parity Games;Fundamentals of Software Engineering;2015
5. An Overview of the mCRL2 Toolset and Its Recent Advances;Tools and Algorithms for the Construction and Analysis of Systems;2013