Sign in

On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra.

Peter W. O'HearnRasmus Lerchedahl PetersenJules VillardAkbar Hussain
Published in: J. Log. Algebraic Methods Program. (2015)
Keyphrases
  • mutual exclusion
  • boolean algebra
  • concurrent programs
  • relation algebra
  • expert systems
  • query language
  • propositional logic
  • real numbers
  • concurrent programming