Pages that link to "Item:Q5899089"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5899089):
Displayed 7 items.
- Subobject transformation systems (Q934672) (← links)
- Adhesive DPO Parallelism for Monic Matches (Q2867888) (← links)
- Unfolding Grammars in Adhesive Categories (Q2888498) (← links)
- Unfolding Graph Transformation Systems: Theory and Applications to Verification (Q3507354) (← 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)
- (Q5020951) (← links)