Process algebra and automata theory – keeping simple

Robin Milner and Automata theory – keeping simple

Process algebra and automata theory – keeping simple

Standard Automata Theory and Process Algebra

The concepts of machine homomorphism and machine products developed in the automata theory literature in the 1960s are more relevant to concurrent systems than is acknowledged in the process algebra literature and offer a sophisticated mathematical basis for understanding concurrent systems.

Process algebra and JSONPath descendant segment semantics

One question the JSONPath Working Group had to wrestle with in specifying RFC 9535 was how much non-determinism to allow in the semantics...