Resource bisimilarity and graded bisimilarity coincide

DOI10.1016/j.ipl.2010.10.019zbMath1260.68251OpenAlexW2154720032MaRDI QIDQ1944040

Anna Ingólfsdóttir, Luca Aceto, Joshua Sack

Publication date: 4 April 2013

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2010.10.019

zbMATH Keywords

coalgebrasKripke framesconcurrencygraded bisimilaritygraded modal logicresource bisimilarity

Mathematics Subject Classification ID

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

Related Items (5)

Behavioural equivalences for coalgebras with unobservable moves ⋮ Neighbourhood Semantics for Graded Modal Logic ⋮ The logic of secrets and the interpolation rule ⋮ DYNAMIC GRADED EPISTEMIC LOGIC ⋮ Relating Structure and Power: Comonadic Semantics for Computational Resources

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Coalgebraic logic
• Models of nondeterministic regular expressions
• A note on graded modal logic
• Terminal coalgebras in well-founded set theory
• Expressivity of coalgebraic modal logic: the limits and beyond
• A lattice-theoretical fixpoint theorem and its applications
• Algebraic laws for nondeterminism and concurrency
• Monoid-labeled transition systems
• Relations binaires, fermetures, correspondances de Galois

This page was built for publication: Resource bisimilarity and graded bisimilarity coincide