Indeterminate Behavior with Determinate Semantics in Parallel Programs.

F. Warren Burton

Published in: FPCA (1989)

Keyphrases

human behavior
dynamic logic
parallel implementation
neural network
formal semantics
parallel processing
behavior patterns
stable model semantics
sorting algorithms
scheduling problem
computer programs
parallel programming