Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets
Reisig, Wolfgang
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets - New York Springer Berlin Heidelberg 1998 - 302p
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
9783540627524 0.00
Computer Engineering
004.36 / REI
Elements of Distributed Algorithms: Modeling and Analysis with Petri Nets - New York Springer Berlin Heidelberg 1998 - 302p
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
9783540627524 0.00
Computer Engineering
004.36 / REI