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