Sign in

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

Jesús DomínguezAleksandar Nanevski
Published in: CONCUR (2023)
Keyphrases
  • time stamped
  • temporal patterns
  • sequence matching
  • news articles
  • high level
  • knowledge representation
  • temporal constraints
  • dimensionality reduction
  • generative model