Concurrent Specifications Beyond Linearizability.

Éric Goubault Jérémy Ledent Samuel Mimram

Published in: OPODIS (2018)

Keyphrases

delay insensitive
formal specification
decision trees
high level
artificial intelligence
search engine
databases
data structure
evolutionary algorithm
description language
specification language
operational semantics
mutual exclusion