Verifying Determinism of Concurrent Systems Which Use Unbounded Arrays
A. W. Roscoe and R. Lazic
Details
| Book Title |
Proceedings of INFINITY'98 |
| Month |
July |
| Note |
extended version as Oxford University Computing Laboratory TR−2−98. |
| Year |
1998 |
Links
Related pages
|
People |
|
|
Activities |