Algebraic theory of processes

著者

• Hennessy, Matthew

書誌事項

Algebraic theory of processes

Matthew Hennessy

（MIT Press series in the foundations of computing）

MIT Press, c1988

注記

Includes bibliography and index

内容説明・目次

内容説明

Algebraic Theory of Processes provides the first general and systematic introduction to the semantics of concurrent systems, a relatively new research area in computer science.

「Nielsen BookData」 より

• NII書誌ID(NCID): BA03925341
• ISBN:
  • 0262081717
• LCCN: 87029699
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge, Mass.
• ページ数/冊数: vi, 272 p.
• 大きさ: 24 cm
• 分類:
  • LCC : QA76.9.M35
  • DC19 : 004/.01/51
• 件名:
  • LCSH : Electronic data processing -- Mathematics
  • LCSH : Programming languages (Electronic computers) -- Semantics
  • LCSH : Algebra, Abstract
• 親書誌ID:
  • BA0001568X