책 이미지
eBook 미리보기
책 정보
· 제목 : Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets (Hardcover, 1998)
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783540627524
· 쪽수 : 302쪽
· 출판일 : 1998-08-20
· 분류 : 외국도서 > 컴퓨터 > 소프트웨어 개발/엔지니어링 > 일반
· ISBN : 9783540627524
· 쪽수 : 302쪽
· 출판일 : 1998-08-20
목차
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.
