A FORMAL MODEL OF ATOMICITY IN ASYNCHRONOUS SYSTEMS

[1] Barwise J., 1977, HDB MATH LOGIC

[2] BEST E, 1980, LECTURE NOTES COMPUT, V88

[3] ON-FLY GARBAGE COLLECTION - EXERCISE IN COOPERATION [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (11) : 966 - 975

[4] DIJKSTRA EW, 1978, P KONINKLIJKE NEDERL, V81

[5] NOTIONS OF CONSISTENCY AND PREDICATE LOCKS IN A DATABASE SYSTEM [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (11) : 624 - 633

[6] FLOYD RW, 1967, APPLIED MATH, V19

[7] Genrich H.J., 1980, ADV COURSE NET THEOR, V84, P519, DOI [10.1007/3-540-10001-6_39, DOI 10.1007/3-540-10001-6_39]

[8] Gray J, 1978, LECTURE NOTES COMPUT, P394

[9] HOLT AW, 1968, ADR5606 APPL DAT RES

[10] LAMPSON BW, CACM

[1] Barwise J., 1977, HDB MATH LOGIC

[2] BEST E, 1980, LECTURE NOTES COMPUT, V88

[3] ON-FLY GARBAGE COLLECTION - EXERCISE IN COOPERATION [J]. COMMUNICATIONS OF THE ACM, 1978, 21 (11) : 966 - 975

[4] DIJKSTRA EW, 1978, P KONINKLIJKE NEDERL, V81

[5] NOTIONS OF CONSISTENCY AND PREDICATE LOCKS IN A DATABASE SYSTEM [J]. COMMUNICATIONS OF THE ACM, 1976, 19 (11) : 624 - 633

[6] FLOYD RW, 1967, APPLIED MATH, V19

[7] Genrich H.J., 1980, ADV COURSE NET THEOR, V84, P519, DOI [10.1007/3-540-10001-6_39, DOI 10.1007/3-540-10001-6_39]

[8] Gray J, 1978, LECTURE NOTES COMPUT, P394

[9] HOLT AW, 1968, ADR5606 APPL DAT RES

[10] LAMPSON BW, CACM