Self-similarity breeds resilience

MaRDI QIDQ5015358zbMATH OpenFDO

Authors Sanjiva Prasad, Lenore D. Zuck

Publication date 7 December 2021

Full work available at URL https://arxiv.org/abs/1608.03127, http://eptcs.web.cse.unsw.edu.au/paper.cgi?EXPRESSSOS2016.3

zbMATH Keywords

adversarybarbsbehavioural self-similaritybisimulationcontextfault-toleranceresiliencewell-structured transition systems

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Computer security (68M25) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 17805
• Resilience to denial-of-service and integrity attacks: a structured systems approach
• Self-similarity of parallel machines
• The instability of self-stabilization
• Decidability of Resilience for Well-Structured Graph Transformation Systems

Cites work

• A compositional framework for fault tolerance by specification transformation
• A compositional protocol verification using relativized bisimulation
• A little knowledge goes a long way
• A semantic characterization for faults in replicated systems
• Barbed bisimulation
• Distributed processes and location failures
• Functions as processes
• scientific article; zbMATH DE number 1354140 (Why is no real title available?)
• scientific article; zbMATH DE number 2077122 (Why is no real title available?)
• On bisimulations for the asynchronous -calculus
• Transformation of programs for fault-tolerance
• Well-structured transition systems everywhere!

This page was built for publication: Self-similarity breeds resilience

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