On Model checking data−independent systems with arrays with whole−array operations
A. W. Roscoe‚ R. S. Lazic and Tom Newcomb
Book Title
Communicating Sequential Processes
Number
3525
Publisher
Springer LNCS
Year
2005
A. W. Roscoe‚ R. S. Lazic and Tom Newcomb