Pages that link to "Item:Q4379556"
From MaRDI portal
The following pages link to Handbook of Graph Grammars and Computing by Graph Transformation (Q4379556):
Displayed 33 items.
- Application of Graph Transformation in Verification of Dynamic Systems (Q3605472) (← links)
- (Q4499273) (← links)
- Recognizable languages of arrows and cospans (Q4585008) (← links)
- Non-size increasing graph rewriting for natural language processing (Q4585012) (← links)
- Strategic port graph rewriting: an interactive modelling framework (Q4629264) (← links)
- A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques (Q4921549) (← links)
- 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 (Q4921551) (← links)
- Application of Attribute NCE Graph Grammars to Syntactic Editing of Tabular Forms (Q4921557) (← links)
- Comparing Notions of Hierarchical Graph Transformation1 1This work has been partially supported by the ESPRIT Working Group Applications of Graph Transformation (Appligraph). (Q4921560) (← links)
- 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 Transformat (Q4923504) (← links)
- Towards Common Exchange Formats for Graphs and Graph Transformation Systems (Q4923506) (← links)
- How to Specify a Graph Transformation Approach (Q4923507) (← links)
- GETGRATS (Q4923529) (← links)
- Graph Operations, Graph Transformations and Monadic Second-Order Logic: (Q4923534) (← links)
- Algebra Transformation Systems as a Unifying Framework (Q4923537) (← links)
- Two Graph-Based Techniques for Software Architecture Reconfiguration (Q4923539) (← links)
- Processes and Local Actions (Q4923540) (← links)
- Graph Transformations for the Specification of Access Control Policies (Q4923543) (← links)
- Structured Modeling with GRACE (Q4923544) (← links)
- Parameterized Transformation Units (Q4923545) (← links)
- Formal Verification of Graph Grammars using Mathematical Induction (Q5179351) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)
- Towards a Systematic Method for Proving Termination of Graph Transformation Systems (Q5403457) (← links)
- Towards a Notion of Transaction in Graph Rewriting (Q5404174) (← links)
- Graph Transformation Semantics for a QVT Language (Q5404176) (← links)
- A Rewriting Calculus for Multigraphs with Ports (Q5415656) (← links)
- Free Energy of Petri Nets (Q5418968) (← links)
- Linear Recurrence Relations for Graph Polynomials (Q5452182) (← links)
- Deriving Bisimulation Congruences in the Presence of Negative Application Conditions (Q5458376) (← links)
- A Logic of Graph Constraints (Q5460000) (← links)
- Formal analysis of model transformations based on triple graph grammars (Q5740377) (← links)
- (Q5743499) (← links)
- Separation results for separated apex NLC and NCE graph languages (Q5946057) (← links)