Operational Semantics of Process Monitors.

Jun Inoue, Yoriyuki Yamagata

Browse the full RV paper archive.