A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.

Published in: ICALP (1982)

Keyphrases

data sets
lower bound
real time
decision making
objective function
multi agent
preprocessing
expert systems
probability distribution