Toggle navigation
Divyanshu Bagga
About Me
Research Work
Blogs
Other Stuff
Divyanshu Bagga
Research Scholar,
VERTECS Group
,
Department of Computer Science and Engineering
,
Indian Institute of Technology, Delhi
.
divyanshu.bagga@cse.iitd.ac.in
LinkedIn
Academic.edu
ResearchGate
Research Interest:
Bisimulations, Modal Logic, Coinduction, Coalgebra, Process Calculi
Advisor:
Prof. S. Arun-Kumar
.
Insert the picture here
Research Work
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.
Blogs
Notion of Efficiency for concurrent systems
Other Stuff
Book Reviews:
Blog
Goodreads