A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).-Reference-Cited by-同舟云学术

A Graph Transformation View on the Specification of Applications using Mobile Code* *Research partially supported by project ForMOS (Métodos Formais para Código Móvelem Sistemas Abertos) - grant CNPq 520269/98-5, by the Research Training Network GET-GRATS (General Theory of Graph Transformation Systems), and by the MURST project Teoria della Concorrenza, Linguaggi di Ordine Superiore e Strutture di Tipi (TOSCA).

Published:2001-08 Issue:3 Volume:50 Page:238-246
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Corradini Andrea,Dotti Fernando Luís,Ribeiro Leila

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference27 articles.

1. Baldan P., Corradini A., Ehrig H., Löwe M., Montanari U. and Rossi F., Concurrent Semantics of Algebraic Graph Transformations, in [10].

2. 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.

3. Baldan P., Corradini A. and König B., A Static Analysis Technique for Graph Transformation Systems, submitted for publication, 2001.

4. Dotti, F. and Ribeiro, L., Specification of mobile code systems using graph grammars, Proc. FMOODS'00 Formal Methods for Open Object-based Systems, Stanford (USA), Ed. Kluwer, 2000 (to appear)

5. Dotti F. and Ribeiro L., Code mobility in open systems: a formal approach, Proc. PDPTA'00 Parallel and Distributed Processing Techniques and Applications, Las Vegas (USA), 2000.

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From Graph Transformation to Software Engineering and Back;Formal Methods in Software and Systems Modeling;2005