UIO - A UNIFORM I/O SYSTEM INTERFACE FOR DISTRIBUTED SYSTEMS

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

[12] THE INTEGRATION OF VIRTUAL MEMORY MANAGEMENT AND INTERPROCESS COMMUNICATION IN ACCENT [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1986, 4 (02): : 147 - 177

[13] Goldberg Adele, 1983, SMALLTALK 80 LANGUAG

[14] GOODMAN N, 1983, 2ND P ACM S PRINC DA, P8

[15] GRAY J, 1979, LECT NOTES COMPUTER, P393

[16] GUTTAG J, 1980, 7TH ACM S PRINC PROG

[17] THE LARCH FAMILY OF SPECIFICATION LANGUAGES [J]. IEEE SOFTWARE, 1985, 2 (05) : 24 - 36

[18] GUTTAG JV, 1978, ACTA INFORM, V10, P27, DOI 10.1007/BF00260922

[19] INGALLS D, 1978, 5TH ACM S PRINC PROG, P9

[20] JONES AK, 1979, LECTURE NOTES COMPUT, P7

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

[12] THE INTEGRATION OF VIRTUAL MEMORY MANAGEMENT AND INTERPROCESS COMMUNICATION IN ACCENT [J]. ACM TRANSACTIONS ON COMPUTER SYSTEMS, 1986, 4 (02): : 147 - 177

[13] Goldberg Adele, 1983, SMALLTALK 80 LANGUAG

[14] GOODMAN N, 1983, 2ND P ACM S PRINC DA, P8

[15] GRAY J, 1979, LECT NOTES COMPUTER, P393

[16] GUTTAG J, 1980, 7TH ACM S PRINC PROG

[17] THE LARCH FAMILY OF SPECIFICATION LANGUAGES [J]. IEEE SOFTWARE, 1985, 2 (05) : 24 - 36

[18] GUTTAG JV, 1978, ACTA INFORM, V10, P27, DOI 10.1007/BF00260922

[19] INGALLS D, 1978, 5TH ACM S PRINC PROG, P9

[20] JONES AK, 1979, LECTURE NOTES COMPUT, P7