TY  - RPRT
TI  - Concurrent Process Histories and Resource Transducers
AU  - Chad Nester
PY  - 2023
DO  - 10.46298/lmcs-19(1:7)2023
UR  - https://arxiv.org/abs/2010.08233
ID  - 2010.08233
ER  -