Publisher
Springer Berlin Heidelberg
Reference14 articles.
1. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Lecture Notes in Computer Science;J.-R. Abrial,2006
3. Abrial, J.-R., Cansell, D., Méry, D.: A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol. Formal Asp. Comput. 14(3), 215–227 (2003)
4. Cansell, D., Méry, D.: Formal and incremental construction of distributed algorithms: On the distributed reference counting algorithm. Theoretical Computer Science 364(3), 318–337 (2006); Applied Semantics
5. Charron-Bost, B., Merz, S.: Formal Verification of a Consensus Algorithm in the Heard-Of Model. Int. J. Software and Informatics 3(2-3), 273–303 (2009)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. EventML: Specification, verification, and implementation of crash-tolerant state machine replication systems;Science of Computer Programming;2017-11
2. Consensus Refined;2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks;2015-06