Author:
Yadav Pooja,Suryavanshi Raghuraj,Yadav Divakar
Publisher
Springer Nature Singapore
Reference14 articles.
1. Kshemkalyani AD, Singhal M (2011) Distributed computing: principles, algorithms, and systems. Cambridge University Press
2. Singhal M, Shivaratri NG (1994) Advanced concepts in operating systems. McGraw-Hill, Inc. (1994)
3. Yadav P, Suryavanshi R, Singh AK, Yadav D (2019) Formal verification of causal order-based load distribution mechanism using Event-B. In: Data, engineering and applications, vol. 2. Springer, Singapore, pp 229–241. https://doi.org/10.1007/978-981-13-6351-1_18
4. Shukla S, Suryavanshi R, Yadav D (2022) Formal modelling of cluster-coordinator-based load balancing protocol using event-B. In: Proceedings of second doctoral symposium on computational intelligence: DoSCI 2021. Springer Singapore, pp 593–603. https://doi.org/10.1007/978-981-16-3346-1_48
5. Yadav P, Suryavanshi R, Yadav D (2021) Formal verification of receiver initiated load distribution protocol with fault tolerance and recovery using Event-B. J Sci Ind Res 80:1078–1090