TY  - RPRT
TI  - Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
AU  - Jonas Kastberg Hinrichsen
AU  - Jesper Bengtson
AU  - Robbert Krebbers
PY  - 2022
DO  - 10.46298/lmcs-18(2:16)2022
UR  - https://arxiv.org/abs/2010.15030
ID  - 2010.15030
ER  -