Department of Computer Science and Engineering
Indian Institute of Technology, Delhi
Bisimulations, Modal Logic, Coinduction, Coalgebra, Process Calculi
Prof. S. Arun-Kumar
Insert the picture here
Parameterised Bisimulations: Some Applications.
) 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.
Notion of Efficiency for concurrent systems