Pages that link to "Item:Q5900828"
From MaRDI portal
The following pages link to Recent Trends in Algebraic Development Techniques (Q5900828):
Displaying 4 items.
- Lumpability abstractions of rule-based systems (Q418843) (← links)
- Modeling rule-based systems by stochastic programmed production systems (Q1083875) (← links)
- An Institution for Graph Transformation (Q2890329) (← links)
- Separating I/O from application logic for rule-based control systems (Q2902370) (← links)