PORGY
From MaRDI portal
Software:18989
No author found.
Related Items
A graph-based framework for the analysis of access control policies ⋮ Runtime verification for biochemical programs ⋮ Realizing Monads in Interaction Nets via Generic Typed Rules ⋮ A Software Package for Chemically Inspired Graph Transformation ⋮ Unnamed Item ⋮ Labelled graph strategic rewriting for social networks ⋮ Rewriting Strategies and Strategic Rewrite Programs ⋮ Unnamed Item ⋮ Parallel rewriting of attributed graphs ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ A framework for the analysis of access control policies with emergency management ⋮ Labelled Graph Rewriting Meets Social Networks ⋮ Labelled port graph -- a formal structure for models and computations
This page was built for software: PORGY