PORGY: strategy-driven interactive transformation of graphs
From MaRDI portal
Recommendations
Cited in
(16)- A strategic graph rewriting model of rational negligence in financial markets
- 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
- Labelled graph strategic rewriting for social networks
- Runtime verification for biochemical programs
- Rewriting strategies and strategic rewrite programs
- Strategic port graph rewriting: an interactive modelling framework
- A simple parallel implementation of interaction nets in Haskell
- A port graph rewriting approach to relational database modelling
- A port graph calculus for autonomic computing and invariant verification
- Visual modelling of complex systems: towards an abstract machine for PORGY
- Port graphs, rules and strategies for dynamic data analytics -- extended abstract (invited talk)
- A framework for the analysis of access control policies with emergency management
- QMaude: quantitative specification and verification in rewriting logic
- An expressive model for the specification and analysis of obligations
This page was built for publication: PORGY: strategy-driven interactive transformation of graphs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4964704)
