Truly concurrent process algebra
Reference3 articles.
1. Algebraic Theory for True Concurrency;Wang,2023
2. An algebra for process creation;Baeten;Acta Informatica,1992
3. A note on reliable full-duplex transmission over half-duplex links;Bartlett;Communications of the ACM,1969