書誌事項

Current trends in concurrency : overviews and tutorials

edited by J.W. de Bakker, W.-P. de Roever, and G. Rozenberg

(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」 より

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ

AltStyle によって変換されたページ (->オリジナル) /