Machine-verifiable responsiveness

MaRDI QIDQ2863863zbMATH OpenFDO

Authors J. N. Reed, A. W. Roscoe, J. E. Sinclair

Publication date 4 December 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105052576?np=y

zbMATH Keywords

CSPmodel checkingresponsivenesssemantic model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Responsiveness and stable revivals
• Responsiveness of interoperating components
• Responsiveness in process calculi
• Trace- and failure-based semantics for responsiveness
• An Approach to Modelling and Verification of Component Based Systems

Cited in

(1)

• The stable revivals model in CSP-Prover

This page was built for publication: Machine-verifiable responsiveness

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