Sign in

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

Jesús DomínguezAleksandar Nanevski
Published in: CoRR (2023)
Keyphrases
  • time stamped
  • sequence matching
  • dimensionality reduction
  • machine learning
  • high level
  • keywords