Communicating Sequential Processes (1985)

by T Hoare
Venue:Kru60] J.B. Kruskal. Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi’s Conjecture