Login / Signup

Operational Semantics of Process Monitors.

Jun InoueYoriyuki Yamagata
Published in: RV (2017)
Keyphrases
  • operational semantics
  • logic programs