Using Algebra for Concurrency: Some Approaches.

Published in: The Analysis of Concurrent Systems (1983)

Keyphrases

database systems
concurrency control
strengths and weaknesses
alternative approaches
real time
genetic algorithm
similarity measure
reinforcement learning
search algorithm
expert systems