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-GR

DOI10.1016/S1571-0661(04)00175-6zbMath1262.68112OpenAlexW2320442718MaRDI QIDQ4921551

Fernando Luís Dotti, Leila Ribeiro, Andrea Corradini

Publication date: 10 May 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00175-6

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Uses Software

• DIEGO
• Aglets

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of mobile processes. I
• A calculus of mobile processes. II
• Actor grammars
• Handbook of Graph Grammars and Computing by Graph Transformation
• Pragmatic and semantic aspects of a module concept for graph transformation systems
• Handbook of Graph Grammars and Computing by Graph Transformation

This page was built for publication: 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-GR