書誌事項

Process algebra

J.C.M. Baeten, W.P. Weijland

(Cambridge tracts in theoretical computer science, 18)

Cambridge University Press, 1990

大学図書館所蔵 件 / 全34件

この図書・雑誌をさがす

注記

Bibliography: p. 227-234

Includes indexes

内容説明・目次

内容説明

This is an introduction to process algebra, also known as the Algebra of Communicating Processes (ACP). It is a self-contained mathematical approach to the theory which can be used for graduate courses, though it also has material of interest to researchers. It is a unique introduction to this model of concurrent programming and will be essential reading for all computer scientists interested in parallel processing and algebraic methods in computer science.

目次

  • 1. Preliminaries
  • 2. Basic process algebra
  • 3. Concurrent processes
  • 4. Communication
  • 5. Abstraction
  • 6. Features
  • 7. Semantics
  • 8. Sources and related work
  • Bibliography.

「Nielsen BookData」 より

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

詳細情報

  • NII書誌ID(NCID)
    BA1102147X
  • ISBN
    • 0521400430
  • 出版国コード
    uk
  • タイトル言語コード
    eng
  • 本文言語コード
    eng
  • 出版地
    Cambridge ; New York
  • ページ数/冊数
    248 p.
  • 大きさ
    26 cm
  • 件名
  • 親書誌ID
ページトップへ

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