-
3
-
-
0021785015
-
A rigorous approach to Fault-Tolerant programming
-
F. Cristian. A rigorous approach to Fault-Tolerant programming. IEEE Transactions on Software Engineering, 11(1):23-31, 1985.
-
(1985)
IEEE Transactions on Software Engineering
, vol.11
, Issue.1
, pp. 23-31
-
-
Cristian, F.1
-
4
-
-
84868291832
-
Specification of mobile code systems using graph grammars
-
S. Smith and C. Talcott, editors, Kluwer Academic Publishers
-
F. Dotti and L. Ribeiro. Specification of mobile code systems using graph grammars. In S. Smith and C. Talcott, editors, Formal Methods for Open Object-based Systems IV, pages 45-64. Kluwer Academic Publishers, 2000.
-
(2000)
Formal Methods for Open Object-based Systems IV
, pp. 45-64
-
-
Dotti, F.1
Ribeiro, L.2
-
5
-
-
10444250694
-
Simulation of Mobile Applications
-
SCS International
-
F. L. Dotti, L.M. Duarte, B. Copstein, and L. Ribeiro. Simulation of Mobile Applications. In Communication Networks and Distributed Systems Modeling and Simulation Conference, pages 261-267. SCS International, 2002.
-
(2002)
Communication Networks and Distributed Systems Modeling and Simulation Conference
, pp. 261-267
-
-
Dotti, F.L.1
Duarte, L.M.2
Copstein, B.3
Ribeiro, L.4
-
6
-
-
35048854670
-
A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars
-
SDPS
-
F. L. Dotti, L. M. Duarte, F. A. Silva, and A. S. Andrade. A Framework for Supporting the Development of Correct Mobile Applications based on Graph Grammars. In 6th World Conference on Integrated Design & Process Technology, pages 1-9. SDPS, 2002.
-
(2002)
6th World Conference on Integrated Design & Process Technology
, pp. 1-9
-
-
Dotti, F.L.1
Duarte, L.M.2
Silva, F.A.3
Andrade, A.S.4
-
7
-
-
0004063990
-
-
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. World Scientific
-
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools. World Scientific, 1999.
-
(1999)
Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools
, vol.2
-
-
-
8
-
-
84955565479
-
A Calculus of Mobile Agents
-
Springer
-
C. Fournet, G. Gonthier, J.-J. Lévy, L. Maranget, and D. Rémy. A Calculus of Mobile Agents. In 7th International Conference on Concurrency Theory, pages 406-421. Springer, 1996.
-
(1996)
7th International Conference on Concurrency Theory
, pp. 406-421
-
-
Fournet, C.1
Gonthier, G.2
Lévy, J.-J.3
Maranget, L.4
Rémy, D.5
-
9
-
-
0013366106
-
Specifications for Fault Tolerance: A Comedy of Failures
-
Darmstadt University of Technology, Department of Computer Science, Germany
-
F. C. Gärtner. Specifications for Fault Tolerance: A Comedy of Failures. Technical Report TUD-BS-1998-03, Darmstadt University of Technology, Department of Computer Science, Germany, 1998.
-
(1998)
Technical Report
, vol.TUD-BS-1998-03
-
-
Gärtner, F.C.1
-
10
-
-
0345415768
-
Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments
-
F. C. Gärtner. Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. ACM Computing Surveys, 31(1):1-26, 1999.
-
(1999)
ACM Computing Surveys
, vol.31
, Issue.1
, pp. 1-26
-
-
Gärtner, F.C.1
-
11
-
-
0003806377
-
A Modular Approach to Fault-Tolerant Broadcasts and Related Problems
-
Cornell University, Department of Computer Science, Ithaca, NY, USA
-
V. Hadzilacos and S. Toueg. A Modular Approach to Fault-Tolerant Broadcasts and Related Problems. Technical Report TR94-1425, Cornell University, Department of Computer Science, Ithaca, NY, USA, 1994.
-
(1994)
Technical Report
, vol.TR94-1425
-
-
Hadzilacos, V.1
Toueg, S.2
-
13
-
-
0003943408
-
-
Prentice Hall, Englewood Cliffs, NJ, USA
-
P. Jalote. Fault Tolerance in Distributed Systems, pages 51-53. Prentice Hall, Englewood Cliffs, NJ, USA, 1994.
-
(1994)
Fault Tolerance in Distributed Systems
, pp. 51-53
-
-
Jalote, P.1
-
14
-
-
84976699318
-
The Byzantine Generals Problem
-
L. Lamport, R, Shostak, and M. Pease. The Byzantine Generals Problem. ACM Transactions on Programming Languages and Systems, 4(3):382-401, 1982.
-
(1982)
ACM Transactions on Programming Languages and Systems
, vol.4
, Issue.3
, pp. 382-401
-
-
Lamport, L.1
Shostak, R.2
Pease, M.3
-
15
-
-
0022250464
-
Dependable Computing and Fault Tolerance: Concepts and Terminology
-
IEEE Computer Society Press
-
J.-C. Laprie. Dependable Computing and Fault Tolerance: Concepts and Terminology. In 15th International Symposium on Fault-Tolerant Computing, pages 2-11. IEEE Computer Society Press, 1985.
-
(1985)
15th International Symposium on Fault-tolerant Computing
, pp. 2-11
-
-
Laprie, J.-C.1
-
17
-
-
0001383866
-
An Introduction to Input/Output Automata
-
N. Lynch and M. Tuttle. An Introduction to Input/Output Automata. CWI-Quarterly, 3(2):219-246, 1989.
-
(1989)
CWI-quarterly
, vol.3
, Issue.2
, pp. 219-246
-
-
Lynch, N.1
Tuttle, M.2
-
18
-
-
0022689370
-
Distributed Agreement in the Presence of Processor and Communication Faults
-
K. J. Perry and S. Toueg. Distributed Agreement in the Presence of Processor and Communication Faults. IEEE Transactions on Software Engineering, 12(3):477-482, 1986.
-
(1986)
IEEE Transactions on Software Engineering
, vol.12
, Issue.3
, pp. 477-482
-
-
Perry, K.J.1
Toueg, S.2
-
19
-
-
35048880684
-
-
Master's thesis, Pontiffcia Universidade Católica do Rio Grande do Sul, Porto Alegre, RS, Brasil
-
E. T. Rodel. Modelagem Formal de Falhas em Sistemas Distribufdos envolvendo Mobilidade (Formal Modeling of Faults in Distributed Systems with Code Mobility). Master's thesis, Pontiffcia Universidade Católica do Rio Grande do Sul, Porto Alegre, RS, Brasil, 2003.
-
(2003)
Modelagem Formal de Falhas Em Sistemas Distribufdos Envolvendo Mobilidade (Formal Modeling of Faults in Distributed Systems with Code Mobility)
-
-
Rodel, E.T.1
-
21
-
-
12344261144
-
-
PhD thesis, Technical University Berlin - FB Informatik, Berlin, Germany
-
F. A. Silva. A Transaction Model based on Mobile Agents. PhD thesis, Technical University Berlin - FB Informatik, Berlin, Germany, 1999.
-
(1999)
A Transaction Model Based on Mobile Agents
-
-
Silva, F.A.1
|