Live data structures in logic programs

derivation by means of abstract interpretation

The MOSIX distributed operating system

load balancing for UNIX

Advances in Petri Nets, 1993

AAECC-10

applied algebra, algebraic algorithms, and error-correcting codes : 10th international symposium, San Juan de Puerto Rico, Puerto Rico, May 10-14, 1993 : proceedings

GWAI-92 : advances in artificial intelligence

16th German Conference on Artificial Intelligence, Bonn, Germany, August 31-September 3, 1992 : proceedings