Checking process-oriented operating system behaviour using CSP and refinement.

Frederick R. M. Barnes, Carl G. Ritson

Browse the full SOSP paper archive.