Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Material type:
- 9783540627524
- 004.36 REI
Item type | Current library | Item location | Collection | Call number | Status | Date due | Barcode | Item holds | |
---|---|---|---|---|---|---|---|---|---|
![]() |
NIMA Knowledge Centre | 7th Floor Silence Zone | Reference | 004.36 REI (Browse shelf(Opens below)) | Not For Loan | T0032525 |
Part - A: Elementary System Models Elementary Concepts Case Studies Part - B: Advanced System Models Advanced Concepts Case Studies Case Studies Continued: Acknowledged Messages Case Studies Continued: Network Algorithms Part - C: Analysis of Elementary System Models State Properties of Elementary System Nets Interleaved Progress of Elementary System Nets Concurrent Progress of Elementary System Nets Part - D: Analysis of Advanced System Models State Properties of System Nets Interleaved Progress of System Nets Concurrent Progress of System Nets Formal Analysis of Case Studies
There are no comments on this title.