메뉴 건너뛰기




Volumn 96, Issue , 2002, Pages 396-408

Decidability and tractability of problems in object-based graph grammars

Author keywords

Complexity analysis; Graph grammars; Object based systems

Indexed keywords

COMPLEXITY ANALYSIS; CONCURRENT AND DISTRIBUTED SYSTEMS; GRAPH GRAMMAR; NP-HARD; OBJECT BASED; OBJECT-BASED GRAPH GRAMMARS; OBJECT-BASED SYSTEMS;

EID: 19044399560     PISSN: 18684238     EISSN: None     Source Type: Journal    
DOI: 10.1007/978-0-387-35608-2_33     Document Type: Article
Times cited : (4)

References (16)
  • 3
    • 84868291832 scopus 로고    scopus 로고
    • Specification of mobile code systems using graph grammars
    • In S. Smith and C. Talcott, editors, Kluwer Academic Publishers
    • Dotti, F. and Ribeiro, L., 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
  • 6
    • 0000145484 scopus 로고    scopus 로고
    • Corradini, Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach
    • World Scientific
    • H. Ehrig, R. Heckel, M. Korff, M. Lowe, L. Ribeiro, A. Wagner and A. Corradini, Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach, in The Handbook of Graph Grammars, vol. 1: Foundations, World Scientific, 1997, pp. 247-312.
    • (1997) The Handbook of Graph Grammars, Vol. 1: Foundations , pp. 247-312
    • Ehrig, H.1    Heckel, R.2    Korff, M.3    Lowe, M.4    Ribeiro, L.5    Wagner, A.6
  • 8
    • 0010225535 scopus 로고    scopus 로고
    • Decidability and Complexity of Petri Net Problems-An Introduction
    • Springer
    • J. Esparza, Decidability and Complexity of Petri Net Problems-An Introduction, Lecture Notes in Computer Science 1491, Springer, 1998, pp. 376-428.
    • (1998) Lecture Notes In Computer Science , vol.1491 , pp. 376-428
    • Esparza, J.1
  • 11
    • 21344471591 scopus 로고    scopus 로고
    • Formal relationships between graph grammars and Petri nets
    • Springer
    • Korff, M. and Ribeiro, L., Formal relationships between graph grammars and Petri nets, Lecture Notes in Computer Science 1073, Springer, 1996, pp. 288-303.
    • (1996) Lecture Notes In Computer Science , vol.1073 , pp. 288-303
    • Korff, M.1    Ribeiro, L.2
  • 14
    • 84891097714 scopus 로고    scopus 로고
    • Complexity Analysis of Reactive Graph Grammars
    • Porto Alegre, Instituto de Informtica, UFRGS
    • A. Loreto, L. Ribeiro and L. Toscani, Complexity Analysis of Reactive Graph Grammars, Revista de Informtica Terica e Aplicada, vol. VII(2000). Porto Alegre, Instituto de Informtica, UFRGS, pp. 109-128.
    • (2000) Revista De Informtica Terica E Aplicada , vol.7 , pp. 109-128
    • Loreto, A.1    Ribeiro, L.2    Toscani, L.3
  • 15
    • 0027558267 scopus 로고
    • Algebraic approach to single-pushout graph transformation
    • M. Lowe, Algebraic approach to single-pushout graph transformation, Theoretical computer Science, vol. 109, 1993, 181-224.
    • (1993) Theoretical Computer Science , vol.109 , pp. 181-224
    • Lowe, M.1


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