1. Deadlock-freeness — an informational characterization;Andersland,1989
2. Information structures, causality, and non-sequential stochastic control, part I: design-independent properties;Andersland,1990
3. Concurrency Control and Recovery in Database Systems;Bernstein,1987
4. Probabilities and Potential;Dellacherie,1978
5. Deadlock avoidance in pipeline concurrent processes;Krogh,1988