Login / Signup

A capability calculus for concurrency and determinism.

Tachio TerauchiAlex Aiken
Published in: ACM Trans. Program. Lang. Syst. (2008)
Keyphrases
  • concurrency control
  • database systems
  • databases
  • database
  • information systems
  • case study
  • multiscale
  • expert systems
  • relational databases
  • automated theorem proving
  • provably correct
  • concurrent execution