Responsiveness and stable revivals

DOI10.1007/S00165-007-0032-9zbMath1125.68077OpenAlexW2130552981MaRDI QIDQ2642988

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

Publication date: 6 September 2007

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-007-0032-9

zbMATH Keywords

CSPModel-checkingResponsivenessSemantic model

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (4)

Trace- and failure-based semantics for responsiveness ⋮ CSP is a retract of CCS ⋮ On the Unification of Process Semantics: Equational Semantics ⋮ Revivals, stuckness and the hierarchy of CSP models

Uses Software

• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Refusal testing
• Specification-oriented semantics for communicating processes
• Responsiveness of interoperating components
• CSP theorems for communicating B machines
• The B-Book
• Computer Aided Verification
• FM 2005: Formal Methods
• csp2B: A practical approach to combining CSP and B

This page was built for publication: Responsiveness and stable revivals