A connection between concurrency and language theory

Zoltan Esik

We show that three fixed point structures equipped with (sequential) composition, a sum operation, and a fixed point operation share the same valid equations. These are the theorie…