Revisiting concurrent separation logic.

Pedro Soares António Ravara Simão Melo de Sousa

Published in: J. Log. Algebraic Methods Program. (2017)

Keyphrases

logic programming
classical logic
digital circuits
multiscale
multi valued
asynchronous circuits
mutual exclusion
database
information systems
decision trees
relational databases
programming language
computational properties
defeasible logic
logic synthesis