The Semantics of Priority and Fairness in occam.

Published in: Mathematical Foundations of Programming Semantics (1989)

Keyphrases

formal semantics
semantic information
default reasoning
high level
semantic relationships
neural network
machine learning
learning algorithm
case study
evolutionary algorithm
resource allocation
game theory
priority queue