Current trends in concurrency : overviews and tutorials

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

[目次]

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

この本の情報

書名 Current trends in concurrency : overviews and tutorials
著作者等 Bakker, Jacobus Willem de
Dutch Concurrency Project
ESPRIT/LPC Advanced School on Current Trends in Concurrency
European Strategic Programme of Research and Development in Information Technology
Roever, W.-P. de
Rozenberg, Grzegorz
Roever Willem-Paul
Bakker Jacobus W. de
シリーズ名 Lecture notes in computer science
出版元 Springer-Verlag
刊行年月 c1986
ページ数 xii, 716 p.
大きさ 25 cm
ISBN 038716488X
354016488X
NCID BA00189352
※クリックでCiNii Booksを表示
言語 英語
出版国 ドイツ
この本を: 
このエントリーをはてなブックマークに追加

このページを印刷

外部サイトで検索

この本と繋がる本を検索

ウィキペディアから連想