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 50 items.
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← links)
- Graph-Based Design and Analysis of Dynamic Software Architectures (Q3507356) (← links)
- Graph Transformation Units – An Overview (Q3507357) (← links)
- Transformations in Reconfigurable Place/Transition Systems (Q3507359) (← links)
- Explicit State Model Checking for Graph Grammars (Q3507360) (← links)
- Linear-Ordered Graph Grammars: Applications to Distributed Systems Design (Q3507361) (← links)
- Obtaining a Planar Graph by Vertex Deletion (Q3508576) (← links)
- Logics and Automata for Totally Ordered Trees (Q3522020) (← links)
- Functional-Logic Graph Parser Combinators (Q3522023) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- Estimating Graph Parameters Using Graph Grammars (Q3528433) (← links)
- An Algorithm for Hypergraph Completion According to Hyperedge Replacement Grammars (Q3540387) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
- Inductively Sequential Term-Graph Rewrite Systems (Q3540390) (← links)
- A Decentralized Implementation of Mobile Ambients (Q3540392) (← links)
- Embedding and Confluence of Graph Transformations with Negative Application Conditions (Q3540396) (← links)
- Behavior Preservation in Model Refactoring Using DPO Transformations with Borrowed Contexts (Q3540403) (← links)
- Attributed Graph Constraints (Q3540405) (← links)
- Pullback Grammars Are Context-Free (Q3540411) (← links)
- A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (Q3540414) (← links)
- From Separation Logic to Hyperedge Replacement and Back (Q3540425) (← links)
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (Q3540428) (← links)
- Modelling and Verifying Mobile Systems Using π-Graphs (Q3599092) (← links)
- 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)
- Declarative Parameterized Verification of Distributed Protocols via the Cubicle Model Checker (Q4991929) (← links)
- (Q5013881) (← links)
- (Q5018498) (← links)
- (Q5020536) (← links)
- (Q5020951) (← links)
- (Q5021220) (← links)
- (Q5021222) (← links)