Verifying Fault-Tolerant Distributed Systems Using Object-Based Graph Grammars

Lecture Notes in Computer Science - Dependable Computing ◽

10.1007/11572329_9 ◽

2005 ◽

pp. 80-100 ◽

Cited By ~ 2

Author(s):

Fernando L. Dotti ◽

Odorico M. Mendizabal ◽

Osmar M. dos Santos

Keyword(s):

Distributed Systems ◽

Fault Tolerant ◽

Graph Grammars ◽

Object Based

Download Full-text

Non-functional Analysis of Distributed Systems in Unreliable Environments Using Stochastic Object Based Graph Grammars

Lecture Notes in Computer Science - Graph Transformations ◽

10.1007/11841883_20 ◽

2006 ◽

pp. 275-290

Author(s):

Odorico Machado Mendizabal ◽

Fernando Luis Dotti

Keyword(s):

Functional Analysis ◽

Distributed Systems ◽

Graph Grammars ◽

Object Based

Download Full-text

DAG Reliability Model and Fault-Tolerant Algorithm for Heterogeneous Distributed Systems

Chinese Journal of Computers ◽

10.3724/sp.j.1016.2013.02019 ◽

2014 ◽

Vol 36 (10) ◽

pp. 2019-2032 ◽

Cited By ~ 4

Author(s):

Guo-Qi XIE ◽

Ren-Fa LI ◽

Lin LIU ◽

Fan YANG

Keyword(s):

Distributed Systems ◽

Fault Tolerant ◽

Reliability Model ◽

Heterogeneous Distributed Systems

Download Full-text

On the implementation and use of Ada on fault-tolerant distributed systems

ACM SIGAda Ada Letters ◽

10.1145/998410.998414 ◽

1984 ◽

Vol IV (3) ◽

pp. 53-64 ◽

Cited By ~ 4

Author(s):

John C. Knight ◽

John I. A. Urquhart

Keyword(s):

Distributed Systems ◽

Fault Tolerant

Download Full-text

Ada on fault-tolerant distributed systems

ACM SIGAda Ada Letters ◽

10.1145/36792.36804 ◽

1987 ◽

Vol VII (6) ◽

pp. 61-63

Author(s):

John C. Knight

Keyword(s):

Distributed Systems ◽

Fault Tolerant

Download Full-text

Message-optimal protocols for fault-tolerant broadcasts/multicasts in distributed systems with crash failures

IEEE Transactions on Computers ◽

10.1109/12.364545 ◽

1995 ◽

Vol 44 (2) ◽

pp. 346-352 ◽

Cited By ~ 3

Author(s):

Hong-Yi Tzeng ◽

Kai-Yeung Siu

Keyword(s):

Distributed Systems ◽

Fault Tolerant ◽

Crash Failures

Download Full-text

Middleware of real-time object based fault tolerant distributed computing systems: issues and some approaches

Proceedings 2001 Pacific Rim International Symposium on Dependable Computing ◽

10.1109/prdc.2001.992672 ◽

2002 ◽

Cited By ~ 6

Author(s):

K.H. Kim

Keyword(s):

Distributed Computing ◽

Real Time ◽

Fault Tolerant ◽

Distributed Computing Systems ◽

Computing Systems ◽

Object Based

Download Full-text

Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars

2011 Workshop-School on Theoretical Computer Science ◽

10.1109/weit.2011.33 ◽

2011 ◽

Author(s):

Leila Ribeiro ◽

Fernando Luis Dotti

Keyword(s):

Concurrent Systems ◽

Graph Grammars ◽

Object Based

Download Full-text

Workshop on fault-tolerant parallel and distributed systems

18th International Parallel and Distributed Processing Symposium, 2004. Proceedings. ◽

10.1109/ipdps.2004.1303231 ◽

2004 ◽

Keyword(s):

Distributed Systems ◽

Fault Tolerant

Download Full-text

Units of computation in fault-tolerant distributed systems

14th International Conference on Distributed Computing Systems ◽

10.1109/icdcs.1994.302480 ◽

2002 ◽

Author(s):

M. Ahuja ◽

S. Mishra

Keyword(s):

Distributed Systems ◽

Fault Tolerant

Download Full-text

Fault Tolerant Leader Election in Distributed Systems

International Journal of Computer Science and Information Technology ◽

10.5121/ijcsit.2017.9102 ◽

2017 ◽

Vol 9 (1) ◽

pp. 13-20 ◽

Cited By ~ 1

Author(s):

Marius Rafailescu

Keyword(s):

Distributed Systems ◽

Fault Tolerant ◽

Leader Election

Download Full-text