Yuh-Jzer Joung On Fairness Notions in Distributed Systems: I. A Characterization of Implementability. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:166, n:1, pp:1-34 [Journal]
Yuh-Jzer Joung On Fairness Notions in Distributed Systems: II. Equivalence-Completions and Their Hierarchies. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:166, n:1, pp:35-60 [Journal]
Stephan Waack On the Descriptive and Algorithmic Power of Parity Ordered Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP] Inf. Comput., 2001, v:166, n:1, pp:61-70 [Journal]