Deadlock and fairness in morphisms of transition systems (1988)

by W H Hesselink
Venue:Theoretical Computer Science