The distributed simulation of clustered processes Bojan GroĊĦeljCarl Tropper OriginalPaper Pages: 111 - 121
A class of deadlock-free Maekawa-type algorithms for mutual exclusion in distributed systems Mukesh Singhal OriginalPaper Pages: 131 - 138
Failures semantics based on interval semiwords is a congruence for refinement Walter Vogler OriginalPaper Pages: 139 - 162