Pages that link to "Item:Q1822505"
From MaRDI portal
The following pages link to Amalgamation of graph transformations: a synchronization mechanism (Q1822505):
Displaying 26 items.
- Algebraic approach to single-pushout graph transformation (Q685460) (← links)
- Parallel and distributed derivations in the single-pushout approach (Q685462) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Algebraic transformation of unary partial algebras II: Single-pushout approach (Q1285664) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- Formal software specification with refinements and modules of typed graph transformation systems (Q1608315) (← links)
- Composition of multilevel domain-specific modelling languages (Q2095431) (← links)
- Graph-based specification of access control policies (Q2486563) (← links)
- Accretive computation of global transformations (Q2695351) (← links)
- Towards Local Confluence Analysis for Amalgamated Graph Transformation (Q2947211) (← links)
- Multi-amalgamated Triple Graph Grammars (Q2947213) (← links)
- Block Representation of Reversible Causal Graph Dynamics (Q2947893) (← links)
- Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation (Q3059710) (← links)
- Reversible Causal Graph Dynamics (Q3186585) (← links)
- Process specification and verification (Q4645279) (← links)
- Synchronized composition of graph grammar productions (Q4645281) (← links)
- (Q5020951) (← links)
- Hyperedge replacement with rendezvous (Q5044734) (← links)
- Graph-grammar semantics of a higher-order programming language for distributed systems (Q5096275) (← links)
- Single pushout transformations of equationally defined graph structures with applications to actor systems (Q5096285) (← links)
- Amalgamated graph transformations and their use for specifying AGG — an algebraic graph grammar system (Q5096295) (← links)
- Reversibility vs Local Creation/Destruction (Q5237213) (← links)
- Multi-amalgamation of rules with application conditions in -adhesive categories (Q5740374) (← links)
- -adhesive transformation systems with nested application conditions. Part 1: parallelism, concurrency and amalgamation (Q5740375) (← links)
- Reversible causal graph dynamics: invertibility, block representation, vertex-preservation (Q6151164) (← links)
- Graph Rewriting Components (Q6487304) (← links)