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

詳細情報 詳細情報について

• CRID

  1130000793833872000

• NII書誌ID

  BA07251013

• ISBN

  3540515259

  0387515259

• LCCN

  89021604

• Web Site

  https://lccn.loc.gov/89021604

• 本文言語コード

  en

• 出版国コード

  gw

• タイトル言語コード

  en

• 出版地

  • Berlin ; Tokyo

• 分類

  • LCC: QA76.9.D5
  • DC20: 004/.36

• 件名

  • LCSH: Electronic data processing -- Distributed processing
  • LCSH: Petri nets
  • LCSH: Programming languages (Electronic computers)

• データソース種別

  • CiNii Books