Sign in

Deadlock and lock freedom in the linear π-calculus.

Luca Padovani
Published in: CSL-LICS (2014)
Keyphrases
  • simple linear
  • automated deduction
  • information retrieval
  • linear systems
  • data sets
  • databases
  • search engine
  • social networks
  • website
  • data model