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