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