Encoding fairness in a synchronous concurrent program algebra: extended version with proofs.

Ian J. Hayes Larissa A. Meinicke

Published in: CoRR (2018)

Keyphrases

computer programs
resource allocation
query language
data sets
control program
concurrent programs
database
knowledge base
relational algebra
test cases
programming environment
asynchronous communication
hierarchical reinforcement learning
formal proof