메뉴 건너뛰기




Volumn 49 AICT, Issue , 2000, Pages 45-64

Specification of mobile code systems using graph grammars

Author keywords

Formal specification; Graph grammars; Mobile code

Indexed keywords

FORMAL APPROACH; FORMAL DESCRIPTION TECHNIQUES; FORMAL SPECIFICATION; GRAPH GRAMMAR; LOCATION INFORMATION; MOBILE CODES; OBJECT-BASED SYSTEMS; OPEN ENVIRONMENT; PARALLEL SYSTEM; SPECIAL CLASS;

EID: 84868291832     PISSN: 18684238     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-35520-7_3     Document Type: Conference Paper
Times cited : (19)

References (29)
  • 2
    • 0032593803 scopus 로고    scopus 로고
    • Actors: A unifying model for parallel and distributed computing
    • Agha, G. and Kim, W. Actors: A unifying model for parallel and distributed computing. Journal of systems architecture 45, 1999, pp. 1263-1277.
    • (1999) Journal of Systems Architecture , vol.45 , pp. 1263-1277
    • Agha, G.1    Kim, W.2
  • 3
    • 84947919695 scopus 로고    scopus 로고
    • Mobile ambients, Foundations of Software Science and Computational Structures
    • Springer
    • Cardelli, L. and Gordon, A., Mobile ambients, Foundations of Software Science and Computational Structures, Lecture Notes in Computer Science, vol. 1378, Springer, 1998, pp. 140-155.
    • (1998) Lecture Notes in Computer Science , vol.1378 , pp. 140-155
    • Cardelli, L.1    Gordon, A.2
  • 8
    • 85034646939 scopus 로고
    • Introduction to the algebraic theory of graph grammars
    • Springer
    • Ehrig, H., Introduction to the algebraic theory of graph grammars, Lecture Notes in Computer Science, vol. 73, Springer, 1979, pp. 1-69.
    • (1979) Lecture Notes in Computer Science , vol.73 , pp. 1-69
    • Ehrig, H.1
  • 13
    • 0013243841 scopus 로고
    • True concurrency semantics for single pushout graph transformations with applications to actor systems
    • Korff, M., True concurrency semantics for single pushout graph transformations with applications to actor systems, Information Systems - Correctness and Reusability, World Scientific, 1995, pp. 33-50.
    • (1995) Information Systems - Correctness and Reusability, World Scientific , pp. 33-50
    • Korff, M.1
  • 15
    • 0002274099 scopus 로고
    • An algebraic framework for the transformation of attributed graphs
    • John Wiley & Sons
    • Löwe, M., Korff, M. and Wagner, A., An algebraic framework for the transformation of attributed graphs, Term Graph Rewriting: Theory and Practice, John Wiley & Sons, 1993, pp. 185-199.
    • (1993) Term Graph Rewriting: Theory and Practice , pp. 185-199
    • Löwe, M.1    Korff, M.2    Wagner, A.3
  • 16
    • 0027558267 scopus 로고
    • Algebraic approach to single pushout graph transformation
    • Löwe, M. Algebraic approach to single pushout graph transformation. Theoretical Computer Science, vol 109, 1993, pp. 181-224.
    • (1993) Theoretical Computer Science , vol.109 , pp. 181-224
    • Löwe, M.1
  • 19
  • 20
    • 84867653197 scopus 로고    scopus 로고
    • Modeling concurrent, mobile and coordinated systems via graph transformations
    • Concurrency, Parallelism and Distribution, World Scientific
    • Montanari, U., Pistore, M. and Rossi, F. Modeling concurrent, mobile and coordinated systems via graph transformations, The Handbook of Graph Grammars, vol. 3: Concurrency, Parallelism and Distribution, World Scientific, 1999, pp. 189-268.
    • (1999) The Handbook of Graph Grammars , vol.3 , pp. 189-268
    • Montanari, U.1    Pistore, M.2    Rossi, F.3
  • 25
    • 0031189708 scopus 로고    scopus 로고
    • Mobile UNITY: Reasoning and specification in mobile computing
    • Roman, G., McCann, P. and Plun, J., Mobile UNITY: reasoning and specification in mobile computing, ACM TOSEM, vol. 6, no. 3, 1997, pp. 250-282.
    • (1997) ACM TOSEM , vol.6 , Issue.3 , pp. 250-282
    • Roman, G.1    McCann, P.2    Plun, J.3
  • 29
    • 85015121386 scopus 로고    scopus 로고
    • Nomadic pict: Language and infrastructure design for mobile agents
    • Wojciechowski, P., Sewell, P., Nomadic pict: language and infrastructure design for mobile agents, In Proc. of the ASA/MA'99, 1999.
    • (1999) Proc. of the ASA/MA'99
    • Wojciechowski, P.1    Sewell, P.2


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