Compositional Verification of Interacting Systems Using Event Monads. - Bohua Zhan; Yi Lv; Shuling Wang; Gehang Zhao; Jifeng Hao; Hong Ye; Bican Xia (ITP, 2022)