|
СТ |
Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption |
2004 |
Wang X., Roscoe A. W., Lazic R. S. |
|
|
|
Lecture Notes in Computer Science |
21.05.2004 |
|
СТ |
Hierarchical Compression for Model-Checking CSP or How to Check 10 Dining Philosophers for Deadlock |
1995 |
Roscoe A. W., Gardiner P.H. B., Goldsmith M. H., Hulance J. R., Jackson D. M., Scattergood J. B. |
|
|
|
Lecture Notes in Computer Science |
11.01.1996 |
|
СТ |
Non-interference through Determinism |
1994 |
Roscoe A. W., Woodcock J.C. P., Wulf L. |
|
|
|
Lecture Notes in Computer Science |
06.12.1994 |
