Paul C. Attie. Finite-state concurrent programs can be expressed succinctly in triple normal form. Inf. Process. Lett., 123:8-13, 2017. [doi]
@article{Attie17, title = {Finite-state concurrent programs can be expressed succinctly in triple normal form}, author = {Paul C. Attie}, year = {2017}, doi = {10.1016/j.ipl.2017.02.004}, url = {https://doi.org/10.1016/j.ipl.2017.02.004}, researchr = {https://researchr.org/publication/Attie17}, cites = {0}, citedby = {0}, journal = {Inf. Process. Lett.}, volume = {123}, pages = {8-13}, }