Pages that link to "Item:Q4006236"
From MaRDI portal
The following pages link to Parallelism and concurrency in high-level replacement systems (Q4006236):
Displayed 14 items.
- Locating the contractum in the double pushout approach (Q672236) (← links)
- On categorical graph grammars integrating structural transformations and operations on labels (Q685458) (← links)
- Categorical principles, techniques and results for high-level-replacement systems in computer science (Q690375) (← links)
- Unfolding semantics of graph transformation (Q879600) (← links)
- Integration of categorical frameworks: Rule-based refinement and hierarchical composition for components (Q934668) (← links)
- Construction and properties of adhesive and weak adhesive high-level replacement categories (Q934669) (← links)
- Parallel high-level replacement systems (Q1389763) (← links)
- The uniqueness condition for the double pushout transformation of algebras (Q2486006) (← links)
- From Algebraic Graph Transformation to Adhesive HLR Categories and Systems (Q3522863) (← links)
- Workshop on Petri Nets and Graph Transformations (Q3540422) (← links)
- Process Construction and Analysis for Workflows Modelled by Adhesive HLR Systems with Application Conditions (Q3540428) (← links)
- Correctness of high-level transformation systems relative to nested conditions (Q3625675) (← links)
- (Q4222788) (← links)
- Adhesive and quasiadhesive categories (Q5313719) (← links)