Java PastSet: a structured distributed shared memory system. - Kei Simon Pedersen; Brian Vinter (IEE Proc. Softw., 2003)