Marta Rukoz Hierarchical Deadlock Detection for Nested Transactions. [Citation Graph (2, 0)][DBLP] Distributed Computing, 1991, v:4, n:, pp:123-129 [Journal]
Mukesh Singhal A Class of Deadlock-Free Meakawa-Type Algorithms for Mutual Exclusion in Distributed Systems. [Citation Graph (0, 0)][DBLP] Distributed Computing, 1991, v:4, n:, pp:131-138 [Journal]
Walter Vogler Failures Semantics Based on Interval Semiwords is a Congruence for Refinement. [Citation Graph (0, 0)][DBLP] Distributed Computing, 1991, v:4, n:, pp:139-162 [Journal]