TY - RPRT TI - Standard Automata Theory and Process Algebra AU - Victor Yodaiken PY - 2026 UR - https://arxiv.org/abs/2205.03515 ID - 2205.03515 ER -