The following pages link to (Q3780426):
Displaying 15 items.
- Petri nets are monoids (Q922720) (← links)
- Conditional rewriting logic as a unified model of concurrency (Q1190488) (← links)
- Term rewriting on GPUs (Q2145278) (← links)
- Meta model of concurrent computation. I: Graph Model (Q2704968) (← links)
- José Meseguer: Scientist and Friend Extraordinaire (Q2945698) (← links)
- The Existential Fragment of the One-Step Parallel Rewriting Theory (Q3636820) (← links)
- More problems in rewriting (Q5055812) (← links)
- Concurrent garbage collection for concurrent rewriting (Q5055825) (← links)
- An abstract concurrent machine for rewriting (Q5096204) (← links)
- Critical pairs in term graph rewriting (Q5096914) (← links)
- Towards Modelling Actor-Based Concurrency in Term Rewriting (Q5240184) (← links)
- Term Rewriting and Applications (Q5703842) (← links)
- Conditional rewriting logic: Deduction, models and concurrency (Q5881267) (← links)
- Compiling concurrent rewriting onto the Rewrite Rule Machine (Q5881288) (← links)
- Parallel graph rewriting on loosely coupled machine architectures (Q5881294) (← links)