TY  - RPRT
TI  - A Concurrent Program Logic with a Future and History
AU  - Roland Meyer
AU  - Thomas Wies
AU  - Sebastian Wolff
PY  - 2022
DO  - 10.1145/3563337
UR  - https://arxiv.org/abs/2207.02355
ID  - 2207.02355
ER  -