PORGY

swMATH6923MaRDI QIDQ18989FDOQ18989

Author name not available (Why is that?)

Described by source

• A Strategy Language for Graph Rewriting

Cited In (13)

• A framework for the analysis of access control policies with emergency management
• Parallel rewriting of attributed graphs
• Title not available (Why is that?)
• Runtime verification for biochemical programs
• Realizing Monads in Interaction Nets via Generic Typed Rules
• Labelled graph strategic rewriting for social networks
• A graph-based framework for the analysis of access control policies
• A Software Package for Chemically Inspired Graph Transformation
• Title not available (Why is that?)
• Rewriting Strategies and Strategic Rewrite Programs
• Labelled Graph Rewriting Meets Social Networks
• Strategic port graph rewriting: an interactive modelling framework
• Labelled port graph -- a formal structure for models and computations

This page was built for software: PORGY