The existing testing theories for CSP cater verification of interaction patterns (traces) and deadlocks, but not time. We address here refinement based on a dialect CSP, called tock -CSP, which can capture discrete time properties. This version has been widespread interest decades; recently, it given denotational semantics, model checking become possible using well established tool. Here, we fi...
