A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation

DOI10.1016/J.ENTCS.2012.08.021MaRDI QIDQ3178292zbMATH OpenOpenAlexWikidataFDO

Authors Toby Wilkinson

Publication date 8 July 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2012.08.021

zbMATH Keywords

simulationcoalgebrabisimulationpreordered setenriched logical connection

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Categorical logic, topoi (03G30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Expressiveness modulo bisimilarity: a coalgebraic perspective
• Coalgebraic bisimulation-up-to
• Enhanced coalgebraic bisimulation
• Simulations and bisimulations for coalgebraic modal logics
• An effective coalgebraic bisimulation proof method
• Towards weak bisimulation for coalgebras
• Relating coalgebraic notions of bisimulation
• Bisimulation for weakly expressive coalgebraic modal logics
• Coalgebras for binary methods: Properties of bisimulations and invariants
• Bisimulation of labelled state-to-function transition systems coalgebraically

Cites work

• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• A modular approach to defining and characterising notions of simulation
• Algebra and Coalgebra in Computer Science
• Algebraic semantics for coalgebraic logics
• Coalgebraic modal logic beyond sets
• Enriched logical connections
• Exemplaric Expressivity of Modal Logics
• Internal models for coalgebraic modal logics
• Modal logic
• Similarity quotients as final coalgebras
• Simulations in coalgebra
• Stone coalgebras
• Testing Semantics: Connecting Processes and Process Logics

Cited in

(5)

• Reflection and Preservation of Properties in Coalgebraic (bi)Simulations
• Bisimulation for weakly expressive coalgebraic modal logics
• scientific article; zbMATH DE number 7440178 (Why is no real title available?)
• Coalgebraic Reasoning in Coq: Bisimulation and the λ-Coiteration Scheme
• Internal models for coalgebraic modal logics

This page was built for publication: A Characterisation of Expressivity for Coalgebraic Bisimulation and Simulation

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