N. Fulmare, D. Yadav. Rigorous analysis of byzantine causal order using Event-B. In B. K. Mishra, editor, Proceedings of the ICWET 10 International Conference & Workshop on Emerging Trends in Technology, Mumbai, Maharashtra, India, February 26 - 27, 2010. pages 723-726, ACM, 2010. [doi]
Abstract is missing.