The following pages link to (Q3318086):
Displaying 9 items.
- Gurevich-Harrington's games defined by finite automata (Q685082) (← links)
- An approach to automating the verification of compact parallel coordination programs. I (Q1056221) (← links)
- An introduction to programming multiple-processor computers (Q1075047) (← links)
- Reducibility of synchronization structures (Q1085606) (← links)
- Computing efficient steady state policies for deterministic dynamic programs. I (Q1191780) (← links)
- On a distributed implementation of a decomposition method for multistage linear stochastic programs (Q2785399) (← links)
- A constant time string shuffle algorithm on reconfigurable meshes (Q3838260) (← links)
- A new proposal of concurrent process calculus (Q6560193) (← links)
- Formal verification and evaluation of execution time in the envelope theory (Q6560367) (← links)
