Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption
A. W. Roscoe‚ Xu Wang and R. S. Lazic
Book Title
Proceedings of IFM 2004
Publisher
Springer LNCS
Volume
2999
Year
2004
A. W. Roscoe‚ Xu Wang and R. S. Lazic