Logics and models of concurrent systems

Author(s)

• NATO Advanced Study Institute on Logics and Models of Concurrent Systems
• Apt, Krzysztof R.
• North Atlantic Treaty Organization. Scientific Affairs Division

Bibliographic Information

Logics and models of concurrent systems

edited by Krzysztof R. Apt

（NATO ASI series, ser. F . Computer and systems sciences ; v. 13）

Springer-Verlag, c1985

• : Germany
• : U.S.

Note

"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."

Details

• NCID: BA00675146
• ISBN:
  • 3540151818
  • 0387151818
• LCCN: 85008092
• Country Code: gw
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Berlin ; Tokyo
• Pages/Volumes: viii, 498 p.
• Size: 25 cm
• Classification:
  • LCC : QA76.5
  • DC19 : 001.64
  • NDLC : M151
• Subject Headings:
  • LCSH : Parallel processing (Electronic computers) -- Congresses
  • LCSH : Electronic data processing -- Distributed processing -- Congresses
• Parent Bibliography ID:
  • BA00020624