Login / Signup

Modeling a Cache Coherence Protocol with the Guarded Action Language.

Quentin L. MeunierYann Thierry-MiegEmmanuelle Encrenaz
Published in: MARS/VPT@ETAPS (2018)
Keyphrases
  • action language
  • description language
  • learning algorithm
  • dynamic programming
  • reasoning about actions
  • action descriptions