Login / Signup

Using temporal logics for specifying weak memory consistency models.

Maximilian SenftlebenKlaus 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