Making Linearizability Compositional for Partially Ordered Executions.

Simon Doherty Brijesh Dongol Heike Wehrheim John Derrick

Published in: IFM (2018)

Keyphrases

partially ordered
partial order
event calculus
partial ordering
totally ordered
interval valued
total order
artificial intelligence
total ordering
case study
learning algorithm
multi dimensional
computational intelligence
possibilistic logic
precedence constraints
website
search engine
databases
data sets