A hierarchy of failures-based models: theory and application

DOI10.1016/J.TCS.2004.10.004MaRDI QIDQ1763727zbMATH OpenOpenAlexFDO

Authors Christie Bolton, Gavin Lowe

Publication date 22 February 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.10.004

zbMATH Keywords

Automatic verificationCSPProcess algebraSemantic modelsStable failures

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A hierarchy of failures-based models
• Translating between models of concurrency
• Specification of communicating processes: temporal logic versus refusals-based refinement
• Relational concurrent refinement
• The timed failures -- Stability model for CSP

Cites work

• A calculus of communicating systems
• A hierarchy of failures-based models
• A singleton failures semantics for communicating sequential processes
• Checking noninterference in timed CSP
• Data Refinement
• Extensional equivalences for transition systems
• scientific article; zbMATH DE number 1693512 (Why is no real title available?)
• scientific article; zbMATH DE number 3870578 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3722109 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• Specification-oriented semantics for communicating processes
• Testing equivalences for processes
• The expressiveness of CSP with priority
• The linear time -- branching time spectrum. I: The semantics of concrete, sequential processes.
• “Sometimes” and “not never” revisited

Cited in

(15)

• Relational concurrent refinement. II: Internal operations and outputs
• On exchangeable, causal and cascading failures
• Compositional failure-based semantic models for basic LOTOS
• Failure mode and effects analysis considering consensus and preferences interdependence
• On the expressive power of CSP refinement
• A hierarchy of failures-based models
• Models for CSP with availability information
• scientific article; zbMATH DE number 4206024 (Why is no real title available?)
• On failure modeling
• scientific article; zbMATH DE number 1303989 (Why is no real title available?)
• scientific article; zbMATH DE number 1850462 (Why is no real title available?)
• A Simple, Flexible Failure Model
• An Alternative Order for the Failures Model
• Computer Aided Verification
• On using data abstractions for model checking refinements

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

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