scientific article
From MaRDI portal
Publication:2728878
zbMath0971.68631MaRDI QIDQ2728878
Berthold Hoffmann, Reiko Heckel, Sabine Kuske, Peter Knirsch
Publication date: 6 November 2001
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Graph theory (including graph drawing) in computer science (68R10) Theory of programming languages (68N15) Computing methodologies and applications (68U99)
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). ⋮ GETGRATS ⋮ Structured Modeling with GRACE ⋮ Parameterized Transformation Units ⋮ GRACE as a unifying approach to graph-transformation-based specification1 1This work was partially supported by the ESPRIT Working Group Applications of Graph Transformation (APPLIGRAPH) and the EC TMR Network GETGRATS (General Theory of Graph Transformation Systems).
This page was built for publication:
