Operational Semantics of Process Monitors.

Jun Inoue Yoriyuki Yamagata

Published in: CoRR (2017)

Keyphrases

operational semantics
database
logic programming
machine learning
software engineering
programming language
process model
mental states