Revisiting concurrent separation logic.
Pedro SoaresAntónio RavaraSimão Melo de SousaPublished in: CoRR (2017)
Keyphrases
- logic programming
- modal logic
- classical logic
- concurrent programming
- predicate logic
- real time
- databases
- concurrent programs
- mutual exclusion
- deontic logic
- automated reasoning
- sound and complete axiomatization
- logic synthesis
- sound source
- relational databases
- multiscale
- e learning
- search engine
- information retrieval
- data sets