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.

Abstract

Abstract is missing.