On automatic verification of self-stabilizing population protocols-Reference-Cited by-同舟云学术

On automatic verification of self-stabilizing population protocols

Published:2008-12 Issue:4 Volume:2 Page:357-367
ISSN:1673-7350
Container-title:Frontiers of Computer Science in China
language:en
Short-container-title:Front. Comput. Sci. China

Author:

Pang Jun,Luo Zhengqin,Deng Yuxin

Publisher

Springer Science and Business Media LLC

Subject

General Computer Science,Theoretical Computer Science

Link

http://link.springer.com/content/pdf/10.1007/s11704-008-0040-9.pdf

Reference18 articles.

1. Fuzzati R. Merro M, Nestmann U. Distributed consensus, revisited. Acta Informatica, 2007, 44(6): 377–425

2. Chandra T D. Toueg S. Unreliable failure detector for reliable distributed systems. Journal of the ACM, 1996, 43(2): 225–267

3. Holzmann G J. The model checker Spin. IEEE Transactions on Software Engineering, 1997, 23(5): 279–295

4. Aspnes J. Ruppert E. An introduction to population protocols. Bulletin of the European Association for Theoretical Computer Science, Distributed Computing Column, 2007, 93: 98–117

5. Attie P C. Francez N, Grumberg O. Fairness and hyperfairness in multi-party interactions. Distributed Computing, 1993, 6: 245–254

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Parameterised Verification of Stabilisation Properties via Conditional Spotlight Abstraction;Communications in Computer and Information Science;2017

2. Designing minimal effective normative systems with the help of lightweight formal methods;Proceedings of the 2016 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering;2016-11

3. Concurrent On-the-fly SCC Detection for Automata-based Model Checking with Fairness Assumption;IEEE INT C ENG COMP;2016