A Framework for Correctness Criteria on Weak Memory Models.

John Derrick Graeme Smith

Published in: FM (2015)

Keyphrases

object oriented
database management systems
intelligent agents
historical data