Pages that link to "Item:Q2117255"
From MaRDI portal
The following pages link to Concurrency theorems for non-linear rewriting theories (Q2117255):
Displaying 11 items.
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications (Q2096426) (← links)
- Algebraic laws for nondeterminism and concurrency (Q3766826) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395108) (← links)
- Fundamentals of compositional rewriting theory (Q6052944) (← links)
- Computational category-theoretic rewriting (Q6113023) (← links)
- Graph rewriting and relabeling with PBPO\(^+\): a unifying theory for quasitoposes (Q6156939) (← links)
- Computational Category-Theoretic Rewriting (Q6487309) (← links)
- Termination of graph transformation systems using weighted subgraph counting (Q6535508) (← links)
- Fuzzy presheaves are quasitoposes (Q6535509) (← links)
- A living monograph for graph transformation (Q6535522) (← links)