Raghuraj Suryavanshi

According to our database, Raghuraj Suryavanshi authored at least 3 papers between 2010 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2012

Rigorous Design of Lazy Replication System Using Event-B.

Raghuraj Suryavanshi, Divakar Yadav

Proceedings of the Contemporary Computing - 5th International Conference, 2012

Modeling of Multiversion Concurrency Control System Using Event-B.

Raghuraj Suryavanshi, Divakar Yadav

Proceedings of the Federated Conference on Computer Science and Information Systems, 2012

2010

Formal Development of Byzantine Immune Total Order Broadcast System Using Event-B.

Raghuraj Suryavanshi, Divakar Yadav

Proceedings of the Data Engineering and Management - Second International Conference, 2010