The following pages link to (Q5020536):
Displaying 11 items.
- Rewriting theory for the life sciences: a unifying theory of CTMC semantics (Q2049987) (← links)
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- Concurrency theorems for non-linear rewriting theories (Q2117255) (← links)
- A generalized concurrent rule construction for double-pushout rewriting (Q2117256) (← links)
- Rule Algebras for Adhesive Categories (Q3300790) (← links)
- (Q5020951) (← links)
- (Q5021224) (← links)
- (Q5021225) (← links)
- (Q5021230) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Stochastic graph transformation for social network modeling (Q6649535) (← links)
