Foundations of Software Science and Computation Structures

DOI10.1007/11690634MaRDI QIDQ5899077zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(8)

• A theory for observational fault tolerance
• 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

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)