Shared Memory Synchronization.

Thu, 01 Jan 1998 00:00:00 +0100

Noemie Slaats, Bart Van Assche, Albert Hoogewijs:
Shared Memory Synchronization. Proof in VDM 1998: 123-156