Seminar: safe concurrent programming in Java with CSP.

Christopher H. Nevison

Browse the full SIGCSE paper archive.