PORGY
From MaRDI portal
Cited in
(37)- GrGen
- Stratego
- ELAN
- PROGRES
- Fujaba
- AGG
- HOCL
- Tulip
- GROOVE
- Tom
- DDebugger
- PSMaude
- Parallel rewriting of attributed graphs
- Labelled port graph -- a formal structure for models and computations
- A graph-based framework for the analysis of access control policies
- visone
- Labelled graph strategic rewriting for social networks
- Runtime verification for biochemical programs
- Ruby
- Labelled graph rewriting meets social networks
- MedOlDatschgerl
- Realizing monads in interaction nets via generic typed rules
- Rewriting strategies and strategic rewrite programs
- A software package for chemically inspired graph transformation
- PELCR
- MPINE
- MGS
- GGL
- AGREE
- Binder
- MOSBIE
- Strategic port graph rewriting: an interactive modelling framework
- RuleBender
- PORGY: strategy-driven interactive transformation of graphs
- A simple parallel implementation of interaction nets in Haskell
- GP 2
- A framework for the analysis of access control policies with emergency management
This page was built for software: PORGY
