Foundations of Software Science and Computation Structures

DOI10.1007/11690634zbMATH Open1180.68114OpenAlexW2504714231MaRDI QIDQ5899077FDOQ5899077

Authors: Adrian Francalanza, Matthew Hennessy 

Publication date: 2 May 2007

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

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

Recommendations

• A theory for observational fault tolerance
• On fault-tolerant observers
• Fault-tolerance and complexity (extended abstract)
• scientific article; zbMATH DE number 5184413
• scientific article; zbMATH DE number 800040
• Fault-tolerant Computation in the Full Information Model
• Fault tolerance in belief formation networks
• A Semidefinite Relaxation Procedure for Fault-Tolerant Observer Design

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• Factorizing fault tolerance.
• A theory of system behaviour in the presence of node and link failure
• Abstractions for fault-tolerant global computing
• An observational theory for mobile ad hoc networks (full version)
• A calculus of quality for robustness against unreliable communication
• CONCUR 2005 – Concurrency Theory
• An Observational Theory for Mobile Ad Hoc Networks
• A theory for observational fault tolerance

This page was built for publication: Foundations of Software Science and Computation Structures

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