Login / Signup
Correspondence assertions for process synchronization in concurrent communications.
Eduardo Bonelli
Adriana B. Compagnoni
Elsa L. Gunter
Published in:
J. Funct. Program. (2005)
Keyphrases
</>
concurrent processes
machine learning
communication systems
database
data sets
real world
genetic algorithm
artificial intelligence
knowledge base
database systems
reinforcement learning
search algorithm
artificial neural networks
concurrent programs