Divyanshu Bagga
Research Scholar,
VERTECS Group,
Department of Computer Science and Engineering,
Indian Institute of Technology, Delhi.
divyanshu.bagga@cse.iitd.ac.in


Research Interest: Bisimulations, Modal Logic, Coinduction, Coalgebra, Process Calculi
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.