Text this: A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps.