The following pages link to (Q4222876):
Displaying 9 items.
- A formal model of a system for automated program parallelization (Q927439) (← links)
- Handling infinitely branching well-structured transition systems (Q1686118) (← links)
- Recursive Petri nets (Q2464034) (← links)
- Analysis of recursively parallel programs (Q2942873) (← links)
- (Q4565595) (← links)
- An Automata-Theoretic Approach to the Reachability Analysis of RPPS Systems (Q4917080) (← links)
- A Case for Stale Synchronous Distributed Model for Declarative Recursive Computation (Q5108522) (← links)
- Well-structured transition systems everywhere! (Q5941101) (← links)
- The regular viewpoint on PA-processes (Q5958465) (← links)