Logics and models of concurrent systems
By: edited by Krzysztof R. Apt.
Contributors: Apt, Krzysztof R., 1949-; North Atlantic Treaty Organization. Scientific Affairs Division.
Series: NATO ASI series. Series F, Computer and system sciences ;; vol. 13; NATO ASI series.; no. 13.
Publisher: Springer-Verlag
Published: 1985
Place of publication: Berlin; New York
Language: eng
Number of pages: 498
Subjects: Parallel processing (Electronic computers) -- Congresses.; Electronic data processing -- Distributed processing -- Congresses.
Notes: "Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso.
"Published in cooperation with NATO Scientific Affairs Division."