scientific article; zbMATH DE number 1569120

zbMath0968.68100MaRDI QIDQ4762646

Leila Ribeiro, Fernando Luís Dotti

Publication date: 22 February 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

graph grammarsmobile code systems

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42)

Related Items (5)

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). ⋮ Correct transformation: from object-based graph grammars to PROMELA ⋮ Formal Verification of Graph Grammars using Mathematical Induction ⋮ Code Generation for Parallel Applications Modelled with Object-Based Graph Grammars ⋮ Stochastic Object-Based Graph Grammars

Uses Software

• Pict

This page was built for publication: