Login / Signup

Operational semantics of a weak memory model with channel synchronization.

Daniel Schnetzer FavaMartin SteffenVolker Stolz
Published in: J. Log. Algebraic Methods Program. (2019)
Keyphrases
  • high level
  • operational semantics
  • artificial intelligence
  • e learning
  • probabilistic model