A Linearizability-based Hierarchy for Concurrent Specifications.

Armando Castañeda Sergio Rajsbaum Michel Raynal

Published in: Commun. ACM (2023)

Keyphrases

hierarchical structure
higher level
lower level
high level
formal specification
specification language
hierarchical organization
delay insensitive
machine learning
website
image sequences
functional requirements