Semantics of Deterministic Shared-Memory Systems.

Rmi Morin

Browse the full CONCUR paper archive.