The following pages link to (Q3805880):
Displaying 7 items.
- Locally parallel cache design based on KL1 memory access characteristics (Q756397) (← links)
- Comparative metric semantics for concurrent PROLOG (Q915474) (← links)
- Making exhaustive search programs deterministic (Q1094889) (← links)
- Semantic models for concurrent logic languages (Q1177921) (← links)
- The semantics of the combination of atomized statements and parallel choice (Q1267037) (← links)
- Bounded quantifications for iteration and concurrency in logic programming (Q1326573) (← links)
- (Q3830519) (← links)