Deadlock and lock freedom in the linear π-calculus.

Published in: CSL-LICS (2014)

Keyphrases

simple linear
automated deduction
information retrieval
linear systems
data sets
databases
search engine
social networks
website
data model