Modeling Concurrency with AND/OR Algebraic Theories.

Maria Zamfir Bleyberg

Published in: AMAST (1991)

Keyphrases

artificial intelligence
database
information retrieval
three dimensional
database systems
evolutionary algorithm
concurrency control
modeling language
design theory
concurrent execution