A Capability Calculus for Concurrency and Determinism.

Tachio Terauchi Alex Aiken

Published in: CONCUR (2006)

Keyphrases

concurrency control
data structure
data flow
artificial intelligence
fine grained
concurrency control protocols
neural network
e learning
web services
database systems
software systems
data access
learning capabilities
nested transactions
automated deduction