Login / Signup

On the Expressive Power of Global and Local Priority in Process Calculi.

Cristian VersariNadia BusiRoberto Gorrieri
Published in: CONCUR (2007)
Keyphrases
  • expressive power
  • first order logic
  • query language
  • data complexity
  • computational properties
  • relational algebra
  • transitive closure
  • knowledge base
  • integrity constraints
  • aggregate functions
  • relation algebra