Formalization of an architectural model for exception handling coordination based on CA action concepts (Q967556)

From MaRDI portal
Revision as of 10:25, 10 December 2024 by Import241208061232 (talk | contribs) (Normalize DOI.)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Formalization of an architectural model for exception handling coordination based on CA action concepts
scientific article

    Statements

    Formalization of an architectural model for exception handling coordination based on CA action concepts (English)
    0 references
    0 references
    0 references
    29 April 2010
    0 references
    concurrent exception handling
    0 references
    coordinated atomic action
    0 references
    fault tolerance
    0 references
    CSP
    0 references
    Failure Divergence Refinement
    0 references
    0 references
    0 references

    Identifiers