Logical Characterisation of Parameterised Bisimulations.

Divyanshu Bagga, S. Arun-Kumar

Browse the full ICTAC paper archive.