Sign in

On the Expressiveness of Linearity vs Persistence in the Asychronous Pi-Calculus.

Catuscia PalamidessiVijay A. SaraswatFrank D. ValenciaBjörn Victor
Published in: LICS (2006)
Keyphrases
  • expressive power
  • computational properties
  • relational calculus
  • database
  • data sets
  • knowledge base
  • website
  • automated deduction