Current trends in concurrency : overviews and tutorials
著者
書誌事項
Current trends in concurrency : overviews and tutorials
(Lecture notes in computer science, 224)
Springer-Verlag, c1986
- : gw
- : us
大学図書館所蔵 件 / 全55件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Proceedings of the ESPRIT/LPC Advanced School on Current Trends in Concurrency, held June 10-21, 1985, at Noordwijkerhout, The Netherlands; sponsored by ESPRIT Project 415, Parallel Architectures and Languages for AIP/a VLSI directed approach
Includes bibliographies
内容説明・目次
目次
Computer science in industry.- Dataflow and education: Data-driven and demand-driven distributed computation.- Contrasting themes in the semantics of imperative concurrency.- Functional programming and the language tale.- Design, specification and validation of hierarchies of protocols in distributed systems.- Infinitary languages: Basic theory and applications to concurrent systems.- The quest goes on: A survey of proofsystems for partial correctness of CSP.- Logic programming: The foundations, the approach and the role of concurrency.- Process theory: Semantics, specification and verification.- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trends.- Petri nets: Basic notions, structure, behaviour.- Concepts for concurrent programming.
「Nielsen BookData」 より