An Attempt to Reason about Shared-State Concurrency in the Style of VDM.

Ketil Stlen

Browse the full FM paper archive.