Logical Semantics of Types for Concurrency.

Published in: CALCO (2007)

Keyphrases

formal semantics
logical properties
logical language
concurrency control
logical framework
neural network
learning algorithm
database systems
logical rules