A Compositional Theory of Linearizability.

Arthur Oliveira Vale Zhong Shao Yixuan Chen

Published in: Proc. ACM Program. Lang. (2023)

Keyphrases

formal theory
information retrieval
real time
search engine
information systems
web pages
case study
three dimensional
similarity measure
theoretical framework
decision theory