Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.

Xu Wang, A. W. Roscoe, Ranko Lazic

Browse the full IFM paper archive.