Login / Signup
Using temporal logics for specifying weak memory consistency models.
Maximilian Senftleben
Klaus Schneider
Published in:
Int. J. Crit. Comput. Based Syst. (2018)
Keyphrases
</>
temporal logic
model checking
reactive systems
probabilistic model
modal logic
process model
predicate logic