Moving in a crumbling network: The balanced case

DOI10.1007/978-3-540-30124-0_25MaRDI QIDQ5311265zbMATH OpenOpenAlexFDO

Authors Philipp Rohde

Publication date 22 August 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b100120

zbMATH Keywords

dynamic logicsmodal logicsmodel checking

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On shifting networks
• scientific article; zbMATH DE number 1867228
• scientific article; zbMATH DE number 653269
• Moving in a network under random failures: a complexity analysis
• Network invariants in action
• Farsightedly stable networks
• Networks and stability
• The Equilibrium Worth of a Network Link
• Networks and farsighted stability

Cited in

(8)

• On sabotage games
• Introducing reactive Kripke semantics and arc accessibility
• A game theoretic approach to the analysis of dynamic networks
• Sabotage modal logic: some model and proof theoretic aspects
• Moving in a network under random failures: a complexity analysis
• Separation logics and modalities: a survey
• Modal logics of sabotage revisited
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science

This page was built for publication: Moving in a crumbling network: The balanced case

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