PORGY
From MaRDI portal
swMATH6923MaRDI QIDQ18989FDOQ18989
Author name not available (Why is that?)
Official website: http://tulip.labri.fr/TulipDrupal/?q=porgy
Cited In (34)
- 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
- GrGen
- Fujaba
- AGG
- HOCL
- Tulip
- GROOVE
- DDebugger
- PSMaude
- Tom
- visone
- Ruby
- MedOlDatschgerl
- MPINE
- PELCR
- MGS
- GGL
- AGREE
- Binder
- MOSBIE
- RuleBender
- GP 2
- 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
