Checking process-oriented operating system behaviour using...

ACM SIGOPS Operating Systems Review 2010 / 01 Vol. 43; Iss. 4

Checking process-oriented operating system behaviour using CSP and refinement

Barnes, Frederick R.M., Ritson, Carl G.
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
43
Language:
english
Journal:
ACM SIGOPS Operating Systems Review
DOI:
10.1145/1713254.1713265
Date:
January, 2010
File:
PDF, 261 KB
english, 2010
Conversion to is in progress
Conversion to is failed