HOME > 상세정보

상세정보

Elements of distributed algorithms : modeling and analysis with Petri nets

Elements of distributed algorithms : modeling and analysis with Petri nets (2회 대출)

자료유형
단행본
개인저자
Reisig, Wolfgang , 1950-.
서명 / 저자사항
Elements of distributed algorithms : modeling and analysis with Petri nets / Wolfgang Reisig.
발행사항
New York :   Springer ,   1998.  
형태사항
xi, 302 p. : ill. ; 25 cm.
ISBN
3540627529 (hardcover) 9783540627524
서지주기
Includes bibliographical references.
일반주제명
Electronic data processing -- Distributed processing. Computer algorithms. Petri nets.
000 00920camuu22002778a 4500
001 000045359239
005 20070605110310
008 980420s1998 nyua b 000 0 eng
010 ▼a 98022854
020 ▼a 3540627529 (hardcover)
020 ▼a 9783540627524
035 ▼a (KERIS)REF000004705386
040 ▼a DLC ▼c DLC ▼d DLC ▼d 211009
050 0 0 ▼a QA76.9.D5 ▼b R445 1998
082 0 0 ▼a 004/.36 ▼2 22
090 ▼a 004.36 ▼b R377e
100 1 ▼a Reisig, Wolfgang , ▼d 1950-.
245 1 0 ▼a Elements of distributed algorithms : ▼b modeling and analysis with Petri nets / ▼c Wolfgang Reisig.
260 ▼a New York : ▼b Springer , ▼c 1998.
300 ▼a xi, 302 p. : ▼b ill. ; ▼c 25 cm.
504 ▼a Includes bibliographical references.
650 0 ▼a Electronic data processing ▼x Distributed processing.
650 0 ▼a Computer algorithms.
650 0 ▼a Petri nets.
945 ▼a KINS

소장정보

No. 소장처 청구기호 등록번호 도서상태 반납예정일 예약 서비스
No. 1 소장처 과학도서관/Sci-Info(2층서고)/ 청구기호 004.36 R377e 등록번호 121147299 도서상태 대출가능 반납예정일 예약 서비스 B M

컨텐츠정보

목차

I. Elementary Concepts.- II. Case Studies.- III. Advanced Concepts.- IV. Case Studies.- V. Case Studies Continued: Acknowledged Messages.- VI. Case Studies Continued: Network Algorithms.- VII. State Properties of Elementary System Nets.- VIII. Interleaved Progress of Elementary System Nets.- IX. Concurrent Progress of Elementary System Nets.- X. State Properties of System Nets.- XI. Interleaved Progress of System Nets.- XII. Concurrent Progress of System Nets.- XIII. Formal Analysis of Case Studies.- References.


정보제공 : Aladin

관련분야 신착자료

김재현 (2022)
김영일 (2021)
Allado-McDowell, K (2022)
Isaacson, Walter (2022)