Using CSP to Derive a Sequentially Consistent DSM System.

Corts E. Prez, Alonso G. Romn, Barradas H. Ruz

Browse the full PODC paper archive.