Sign in

Operational Semantics of a Weak Memory Model with Channel Synchronization.

Daniel Schnetzer FavaMartin SteffenVolker Stolz
Published in: FM (2018)
Keyphrases
  • operational semantics
  • probabilistic model
  • high level
  • cooperative
  • email
  • software engineering
  • agent model