Liveness and Fairness in Duration Calculus.

Jens U. Skakkebæk

Published in: CONCUR (1994)

Keyphrases

resource allocation
computer vision
database
automated theorem proving
computer algebra
databases
learning algorithm
evolutionary algorithm
game theory
real numbers
formal language
automated deduction
database query languages
timed automata