Parameterised Bisimulations: Some Applications. - S. Arun-Kumar 004; Divyanshu Bagga (RAMiCS, 2014)

Logical Characterisation of Parameterised Bisimulations. - Divyanshu Bagga; S. Arun-Kumar 004 (ICTAC, 2017)