Cited in
(37)- A framework for the analysis of access control policies with emergency management
- Parallel rewriting of attributed graphs
- Runtime verification for biochemical programs
- A software package for chemically inspired graph transformation
- 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
- GrGen
- Stratego
- ELAN
- PROGRES
- Fujaba
- AGG
- HOCL
- Tulip
- GROOVE
- DDebugger
- PSMaude
- Tom
- visone
- Ruby
- MedOlDatschgerl
- MPINE
- PELCR
- MGS
- GGL
- AGREE
- Binder
- MOSBIE
- RuleBender
- GP 2
- 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
