Syntax and semantics of the weak consistency model specification language cat.

Jade Alglave Patrick Cousot Luc Maranget

Published in: CoRR (2016)

Keyphrases

specification language
high level
probabilistic model
artificial intelligence
information retrieval systems
computational model
mathematical model
machine learning
case study
cooperative
description language