PORGY
From MaRDI portal
Software:18989
swMATH6923MaRDI QIDQ18989FDOQ18989
Author name not available (Why is that?)
Cited In (13)
- A framework for the analysis of access control policies with emergency management
- Parallel rewriting of attributed graphs
- A software package for chemically inspired graph transformation
- Runtime verification for biochemical programs
- Rewriting strategies and strategic rewrite programs
- Labelled graph strategic rewriting for social networks
- A graph-based framework for the analysis of access control policies
- Labelled graph rewriting meets social networks
- PORGY: strategy-driven interactive transformation of graphs
- Strategic port graph rewriting: an interactive modelling framework
- A simple parallel implementation of interaction nets in Haskell
- Realizing monads in interaction nets via generic typed rules
- Labelled port graph -- a formal structure for models and computations
This page was built for software: PORGY
