Login / Signup
Operational semantics of a weak memory model with channel synchronization.
Daniel Schnetzer Fava
Martin Steffen
Volker Stolz
Published in:
J. Log. Algebraic Methods Program. (2019)
Keyphrases
</>
high level
operational semantics
artificial intelligence
e learning
probabilistic model