TY  - RPRT
TI  - Imperative process algebra and models of computation
AU  - C. A. Middelburg
PY  - 2023
DO  - 10.1007/s00224-024-10164-0
UR  - https://arxiv.org/abs/2206.02472
ID  - 2206.02472
ER  -