Computer Science ›› 2016, Vol. 43 ›› Issue (5): 146-149.doi: 10.11896/j.issn.1002-137X.2016.05.027
Previous Articles Next Articles
CAI Yuan-yuan and ZHAO Zhi-zhuo
[1] Laprie J C.Dependable computing and fault tolerance:Concepts and terminology [C]∥Proceedings of the 15th International Symposium on Fault-Tolerant Computing.1985:2-11 [2] Elena D.Fault-Tolerant Design [M].New York:Springer,2013:15-16 [3] Herlihy Maurice P,Jeannette M W.Specifying Graceful Degradation [J].IEEE Transactions on Parallel and Distributed System,1991,2(1):93-104 [4] Grtner C.FELIX,Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments [J].ACM Computing Surveys,1999,31(1):1-26 [5] Aviienis A.Design of Fault-Tolerant Computers[C]∥Procee-dings of the AFIPS’67 Fall Joint Computer Conference,1967.Washington:Thompson Books,1967:733-743 [6] Alpern B,Schneider F B.Defining liveness [J].Information Processing Letters,1985,21(4):181-185 [7] Ajay D K,Mukesh S.Distributed Computing(Principles,Algorithms,and Systems) [M].New York:Cambridge University Press,2008 [8] Needham R M,Herbert A J.The Cambridge Distributed System[M].Addison Wesley International Computer Science Series,1982 [9] Hoare C A R.Communicating Sequential Processes [M].Pren-tice Hall International,2004 [10] Peter W.The Vienna Definition Language [J].ACM Computing Surveys,1972,4(1):5-63 [11] Hoare C A R.Communicating sequential processes [J].Commu-nications of the ACM,1978,21(8):666-677 [12] Lamport L,Shostak R,Pease M.The Byzantine generals problems [J].ACM Transaction on Programming Languages and Systems,1982,4(3):382-401 [13] Pierre A.The practical importance of formal semantics [M].Liber Amicorum,1989:31-40 [14] Larsen P G,Lausdahl K,Battle N.The VDM-10 Lauguage Ma-nual:TR-2010-06 [R].the Overture Open Source Initiative,April 2010 [15] Lausdahl K,Coleman J W,Larsen P G.Semantics of the VDM Real-time Dialect:ECE-TR-13 [R].Adarhus University,April 2013 [16] Birrell A D,Nelson B J.Implementing Remote Procedure Calls [J].ACM Transaction on Computer System,1984,2(1):39-59 [17] Wang Yan-yan,Liu Wei,Wang Zhi-ming.Networked fault to-lerant control for uncertain singular systems with a packet dropout[J].Journal of Chongqing University of Posts and Telecommunications(Natural Science Edition),2013,5(3):379-383(in Chinese) 王岩岩,刘伟,汪志鸣.数据包丢失的不确定奇异系统网络化容错控制[J].重庆邮电大学学报(自然科学版),2013,5(3):379-383 |
No related articles found! |
|