Login / Signup
On the relation between Concurrent Separation Logic and Concurrent Kleene Algebra.
Peter W. O'Hearn
Rasmus Lerchedahl Petersen
Jules Villard
Akbar 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