Encoding Fairness in a Synchronous Concurrent Program Algebra.

Ian J. Hayes Larissa A. Meinicke

Published in: FM (2018)

Keyphrases

concurrent programs
evolutionary algorithm
asynchronous communication
information systems
static analysis
boolean algebra
genetic algorithm
knowledge base
image sequences
data model
query language
resource allocation
fractal image compression
concurrent execution
concurrent programming