Operational Semantics of Process Monitors. - Inoue, Jun; Yamagata, Yoriyuki (CoRR, 2017)