Principles of concurrent and distributed programming - Ben-Ari, Mordechai, 1948- (Prentice-Hall international series in computer science, 1990)