Research Scholar,

VERTECS Group,

Department of Computer Science and Engineering,

Indian Institute of Technology, Delhi.

divyanshu.bagga@cse.iitd.ac.in

Advisor: Prof. S. Arun-Kumar.

Insert the picture here

- Parameterised Bisimulations: Some Applications. (Slides) S. Arun-Kumar and Divyanshu Bagga.

Relational and Algebraic Methods in Computer Science. Springer International Publishing, 2014. 208-225. - Shows how, Observational Congruence for CCS and Hyberbisimilarity for Fusion Calculus, is expressible in the framework of Parameterised Bisimulations.
- Parameterised Modal Logic. Divyanshu Bagga and S. Arun-Kumar.

Submitted to MFCS'16. - Gives a Logical Characterisation and Characteristic Formula for Parameterised Bisimulations.
- Compactness Theorem for Parameterised Modal Logic.
- Gives a translation of parameterised Modal Logic to First Order Logic, and hence, extends the result of Compactness Theorem to it.