Proving Opacity of a Pessimistic STM.

Simon Doherty Brijesh Dongol John Derrick Gerhard Schellhorn Heike Wehrheim

Published in: OPODIS (2016)

Keyphrases

expected utility
foreground and background
artificial intelligence
data structure
short term memory
database
neural network
three dimensional
computational model