Login / Signup

Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency.

Brijesh DongolIan J. HayesGeorg Struth
Published in: ACM Trans. Comput. Log. (2016)
Keyphrases
  • sequent calculi
  • set theory
  • image processing
  • logic programming
  • database systems
  • databases
  • transaction processing
  • concurrent programming