Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack.

Jesús Domínguez Aleksandar Nanevski

Published in: CONCUR (2023)

Keyphrases

time stamped
temporal patterns
sequence matching
news articles
high level
knowledge representation
temporal constraints
dimensionality reduction
generative model