Sign in

Type Reconstruction Algorithms for Deadlock-Free and Lock-Free Linear π-Calculi.

Luca PadovaniTzu-Chun ChenAndrea Tosatto
Published in: COORDINATION (2015)
Keyphrases
  • deadlock free
  • concurrency control
  • transaction processing
  • routing algorithm
  • databases
  • distributed databases
  • data mining
  • high dimensional
  • nearest neighbor
  • similarity search
  • fine grained