Inter-process buffers in separation logic with rely-guarantee.

Richard Bornat Hasan Amjad

Published in: Formal Aspects Comput. (2010)

Keyphrases

database
databases
real world
genetic algorithm
search algorithm
knowledge representation
logic programming
modal logic
predicate logic