Decidability of Liveness for Concurrent Objects on the TSO Memory Model.

Chao Wang Gustavo Petri Yi Lv Teng Long Zhiming Liu

Published in: SETTA (2022)

Keyphrases

probabilistic model
computational model
object model
probability distribution
decision trees
objective function
data structure
cost function
management system
d objects
description logics
expectation maximization
theoretical framework
statistical model