共 18 条
[12]
Liskov B. H., 1975, IEEE Transactions on Software Engineering, VSE-1, P7, DOI 10.1109/TSE.1975.6312816
[15]
FAIL-STOP PROCESSORS - AN APPROACH TO DESIGNING FAULT-TOLERANT COMPUTING SYSTEMS
[J].
ACM TRANSACTIONS ON COMPUTER SYSTEMS,
1983, 1 (03)
:222-238
[16]
DETERMINING THE LAST PROCESS TO FAIL
[J].
ACM TRANSACTIONS ON COMPUTER SYSTEMS,
1985, 3 (01)
:15-30
[17]
WALKER B, 1983, 9TH P S OP SYST PRIN, P49
[18]
WENSLEY J, 1978, P IEEE, V60, P1240