scientific article; zbMATH DE number 1569120
From MaRDI portal
Publication:4762646
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.
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
This page was built for publication: