Machine-verifiable responsiveness

zbMATH Open1276.68125MaRDI QIDQ2863863FDOQ2863863

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

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

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)

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)