Linearizability is EXPSPACE-complete.

Published in: CoRR (2014)

Keyphrases

pspace complete
machine learning
similarity measure
pattern recognition
temporal logic
satisfiability problem
information systems
np complete
web services
cooperative
information technology
special case
decision problems