A Protocol of Mutual Exclusion for DSM Based on Vectors of Global Timestamps. - Czaja, Ludwik (Fundamenta Informaticae, 2018)