메뉴 건너뛰기




Volumn 3062, Issue , 2004, Pages 120-133

Specification and analysis of fault behaviours using graph grammars

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; CONTEXT SENSITIVE GRAMMARS; FORMAL LANGUAGES; FORMAL METHODS; GRAPH THEORY; RANDOM ACCESS STORAGE; SPECIFICATION LANGUAGES; SPECIFICATIONS;

EID: 35048874971     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25959-6_9     Document Type: Article
Times cited : (11)

References (21)
  • 3
    • 0021785015 scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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
  • 9
    • 0013366106 scopus 로고    scopus 로고
    • 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 scopus 로고    scopus 로고
    • 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 scopus 로고
    • 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
  • 15
    • 0022250464 scopus 로고
    • 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 scopus 로고
    • 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 scopus 로고
    • 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
  • 21
    • 12344261144 scopus 로고    scopus 로고
    • 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


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.