Skip to main content

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