“…Nested transactions have been implemented in many systems (Argus [21][22][23], Camelot [6,7], Clouds [8,9], Eden [10,11], LOCUS [12,13], KRISYS [4,14], PRIMA [19] etc.). Unfortunately, very little has been published on the strategies employed by those systems for assigning identi"ers (exceptions are [7,20]).…”