Compositional relational reasoning via operational game semantics | IEEE Conference Publication | IEEE Xplore