TY - RPRT TI - On the formalization of the notion of a concurrent algorithm AU - C. A. Middelburg PY - 2025 DO - 10.47743/sacs.2026.1.1 UR - https://arxiv.org/abs/2410.17821 ID - 2410.17821 ER -