Pages that link to "Item:Q5178981"

The following pages link to The Stable Revivals Model in CSP-Prover (Q5178981):

Displaying 3 items.

• Revivals, stuckness and the hierarchy of CSP models (Q1007236) (← links)
• A UTP semantics for communicating processes with shared variables and its formal encoding in PVS (Q1798665) (← links)
• On the limits of refinement-testing for model-checking CSP (Q1941896) (← links)