A hierarchy of failures-based models

MaRDI QIDQ2847409zbMATH OpenFDO

Authors Christie Bolton, Gavin Lowe

Publication date 9 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104050352

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A hierarchy of failures-based models: theory and application
• On failure modeling
• A Simple, Flexible Failure Model
• ON THE OUTCOME OF A CASCADING FAILURE MODEL
• On the Reliability Modeling of Hierarchical Systems
• A hierarchical approach to the study of the exponential failure model
• Failures: Their Definition, Modelling and Analysis
• On a generalized cascading failure model
• An Alternative Order for the Failures Model

Cited in

(8)

• Revivals, stuckness and the hierarchy of CSP models
• A hierarchy of failures-based models: theory and application
• Compositional failure-based semantic models for basic LOTOS
• A Simple, Flexible Failure Model
• Relational concurrent refinement. II: Internal operations and outputs
• A model of actors and grey failures
• On exchangeable, causal and cascading failures
• On failure modeling

This page was built for publication: A hierarchy of failures-based models

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