The use of formal methods in parallel operating systems.

John A. Keane, Walter Hussak

Browse the full COMPSAC paper archive.