1 option
Logics and models of concurrent systems / edited by Krzysztof R. Apt.
LIBRA QA76.5 .N16 1984
Available from offsite location
- Format:
- Book
- Conference/Event
- Conference Name:
- NATO Advanced Study Institute on Logics and Models of Concurrent Systems (1984 : La Colle-sur-Loup, France)
- Series:
- NATO ASI series. Computer and system sciences ; Series F, no. 13.
- NATO ASI series. Series F, Computer and system sciences ; vol. 13
- Language:
- English
- Subjects (All):
- Parallel processing (Electronic computers)--Congresses.
- Parallel processing (Electronic computers).
- Electronic data processing--Distributed processing--Congresses.
- Electronic data processing.
- Electronic data processing--Distributed processing.
- Genre:
- Conference papers and proceedings.
- Physical Description:
- viii, 498 pages : illustrations ; 25 cm.
- Place of Publication:
- Berlin ; New York : Springer-Verlag, [1985]
- 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."
- ISBN:
- 0387151818
- OCLC:
- 12022032
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.