#processalgebra for verification is even worse than #monads in functional programming languages

The field of #processalgebra in Computer Science incorporates a very limited and misleading idea of classical automata theory which has implications for how computer scientists look at system verification https://www.yodaiken.com/2022/05/07/process-algebra-and-automata-theory/