Logical characterisation of parameterised bisimulations

DOI10.1007/978-3-319-67729-3_4zbMath1444.68109OpenAlexW2754880758MaRDI QIDQ1675792

S. Arun Kumar, Divyanshu Bagga

Publication date: 3 November 2017

Full work available at URL: https://doi.org/10.1007/978-3-319-67729-3_4

zbMATH Keywords

modal logicbisimulationscharacteristic formuladistinguishing formulalogical characterisation

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Logical characterisation of parameterised bisimulations