Foundations of computer science IV
Subtitle: distributed systems
By: J.W. de Bakker (ed.), J. van Leeuwen (ed.).
Contributors: Bakker, J. W. de 1939-; Leeuwen, J. van
Series: Mathematical centre tracts -- 158-159.; Mathematical Centre tracts -- 158-159.
Publisher: Mathematisch Centrum
Published: 1983
Place of publication: Amsterdam
Language: eng
Subjects: Electronic data processing -- Distributed processing.; Machine theory.; Computational complexity.; Integrated circuits -- Very large scale integration.; Algorithms.; Formal languages.
Other titles: Distributed systems.
Notes: Edited text of the lectures given at the 4th Advanced Course on the Foundations of Computer Science held in Amsterdam, June 14-25, 1982.

Includes bibliographies.
Table of contents: value: Pt. 1. Algorithms and complexity; value: pt. 2. Semantics and logic.