Finite representations of CCS and TCSP programs by automata and Petri nets

著者

• Taubner, Dirk

書誌事項

Finite representations of CCS and TCSP programs by automata and Petri nets

Dirk Taubner

（Lecture notes in computer science, 369）

Springer-Verlag, c1989

• : gw
• : us

注記

Bibliography: p. [159]-164

Includes index

詳細情報

• NII書誌ID(NCID): BA07251013
• ISBN:
  • 3540515259
  • 0387515259
• LCCN: 89021604
• 出版国コード: gw
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Berlin ; Tokyo
• ページ数/冊数: x, 168 p.
• 大きさ: 25 cm
• 分類:
  • LCC : QA76.9.D5
  • DC20 : 004/.36
• 件名:
  • LCSH : Electronic data processing -- Distributed processing
  • LCSH : Petri nets
  • LCSH : Programming languages (Electronic computers)
• 親書誌ID:
  • BA00009279