<図書>

Application of Petri nets to communication networks : advances in Petri nets / Jonathan Billington, Michel Diaz, Grzegorz Rozenberg (eds.)

(Lecture notes in computer science;1605)

所蔵情報を非表示

1

本郷キャンパス

配架場所 巻 次 請求記号 登録番号 状 態 文庫区分 刷 年 コメント
理7・CS図
39:L:1.1605 2012775835

保存書庫

書誌詳細を非表示

出版者 Berlin ; Tokyo : Springer
出版年 c1999
大きさ vii, 303 p. : ill. ; 24 cm
一般注記 Includes bibliographical references
著者標目 Billington, Jonathan
Diaz, Michel, 1945-
Rozenberg, Grzegorz
件 名 LCSH:Electronic data processing -- Distributed processing
LCSH:Computer networks
LCSH:Petri nets
分 類 LCC:QA76.9.D5
DC21:004/.36
本文言語 英語
書誌ID 2000957673
ISBN 354065870X
NCID BA41122873 WCLINK

類似資料

  1. 1 Elements of distributed algorithms : modeling and analysis with Petri nets / [by] Wolfgang Reisig
  2. 2 Networks in distributed computing : DIMACS Workshop, October 27-30, 1997 / Marios Mavronicolas, Michael Merritt, Nir Shavit, editors
  3. 3 Distributed algorithms : 11th International Workshop, WDAG '97, Saarbrücken, Germany, September 24-26, 1997 : proceedings / Marios Mavronicolas, Philippas Tsigas (eds.)
  4. 4 Formal description techniques and protocol specification, testing, and verification : FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France / edited by Stan Budkowski, Ana Cavalli, Elie Najm
  5. 5 Formal description techniques and protocol specification, testing, and verification : FORTE X/PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing, and Verification (PSTV XVII) : 18-21 November 1997, Osaka, Japan / edited by Tadanori Mizuno [et al.]
  6. 6 Formal methods for distributed system development : FORTE/PSTV 2000, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX), October 10-13, 2000, Pisa, Italy / edited by Tommaso Bolognesi, Diego Latella
  7. 7 Architecture and design of distributed embedded systems : IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000), October 18-19, 2000, Schloβ Eringerfeld, Germany / edited by Bernd Kleinjohann
  8. 8 Finite representations of CCS and TCSP programs by automata and Petri nets / Dirk Taubner
  9. 9 Core Jini / W. Keith Edwards
  10. 10 An atlas of edge-reversal dynamics / Valmir C Barbosa

検索結果一覧に戻る ページトップ