Logical characterisation of parameterised bisimulations

DOI10.1007/978-3-319-67729-3_4MaRDI QIDQ1675792zbMATH OpenOpenAlexFDO

Authors Divyanshu Bagga, S. Arun Kumar

Publication date 3 November 2017

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

zbMATH Keywords

bisimulationsmodal logiccharacteristic 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)

Recommendations

• Bisimulation as a logical relation
• Parameterised bisimulations: some applications
• scientific article; zbMATH DE number 938519
• Logical characterizations of simulation and bisimulation for fuzzy transition systems
• Logical Characterizations of Bisimulations for Discrete Probabilistic Systems

Cited in

(8)

• Characteristic classes and bisimulations of generalized Veltman models
• Parameterised bisimulations: some applications
• Bisimulation as a logical relation
• Theoretical Aspects of Computing - ICTAC 2004
• Topological construction of parameterized bisimulation limit
• scientific article; zbMATH DE number 5587282 (Why is no real title available?)
• Extended transition systems for parametric bisimulation
• A BISIMULATION CHARACTERIZATION THEOREM FOR HYBRID LOGIC WITH THE CURRENT-STATE BINDER

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1675792)