C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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