Deadlock and Fairness in Morphisms of Transition Systems

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},
}