Multi-Core Memory Models and Concurrency Theory (Dagstuhl Seminar 11011).

Hans-Juergen Boehm Ursula Goltz Holger Hermanns Peter Sewell

Published in: Dagstuhl Reports (2011)

Keyphrases

probabilistic model
computational models
database
statistical model
theoretical framework
statistical models
formal models
databases
computational model
complex systems