Process-Algebraic Models of Multi-Writer Multi-Reader Non-Atomic Registers.

Myrthe S. C. Spronck, Bas Luttik

Browse the full CONCUR paper archive.