iris-logrel-sessions This repository is deprecated, since the formalization here was merged into Actris (https://gitlab.mpi-sws.org/iris/actris).