Author:
Graham Douglas,Calder Muffy,Miller Alice
Subject
General Computer Science,Theoretical Computer Science
Reference22 articles.
1. Angluin, D., Local and global properties in networks of processors (extended abstract), in: Proc. ToC'80 (1980), pp. 82–93
2. Limits for automatic verification of finite-state concurrent systems;Apt;Information Processing Letters,1986
3. Parameterized verification by probabilistic abstraction;Arons,2003
4. Fast randomized consensus using shared memory;Aspnes;Journal of Algorithms,1990
5. Baier, M., C. Grösser and M. a. Ciesinski, Partial order reduction for probabilistic systems, in: Proceedings of the 1st International Conference on quantitative and qualitative evaluation of systems (QEST'04) (2004), pp. 230–239
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献