Wim H. Hesselink. Deadlock and Fairness in Morphisms of Transition Systems. Theoretical Computer Science, 59:235-257, 1988.
@article{Hesselink88a, title = {Deadlock and Fairness in Morphisms of Transition Systems}, author = {Wim H. Hesselink}, year = {1988}, researchr = {https://researchr.org/publication/Hesselink88a}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {59}, pages = {235-257}, }