|
|
Sold Out
Book Categories |
| 1 | Prologue | 3 |
| 2 | Preliminaries | 11 |
| 3 | An Introduction to UNITY | 17 |
| 4 | The Role of Commutativity in Parallel Program Design | 33 |
| 5 | On the Design of Proof Rules for Fair Parallel Programs | 59 |
| 6 | Reasoning About Probabilistic Parallel Programs | 99 |
| 7 | Eventual Determinism: Using Probabilistic Means to Achieve Deterministic Ends | 149 |
| 8 | Epilogue | 165 |
| Bibliography | 169 | |
| Index | 175 |
| Price | Condition | Delivery | Seller | Action |
| $99.99 | Digital |
| WonderClub |
Lindsie Garrett
reviewed Extensions of the UNITY Methodology on January 15, 2019 Extensions of the UNITY Methodology
Very well written. Gives required for formal verification background. Contains good excersizes for self study.
Login|Complaints|Blog|Games|Digital Media|Souls|Obituary|Contact Us|FAQ
CAN'T FIND WHAT YOU'RE LOOKING FOR? CLICK HERE!!! X
You must be logged in to add to WishlistX
This item is in your Wish List
X
This item is in your Collection
Extensions of the UNITY Methodology
X
This Item is in Your Inventory
Extensions of the UNITY Methodology
X
You must be logged in to review the productsX
X
X
Add Extensions of the UNITY Methodology, This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of parallel programs, in several directions. This treatise furth, Extensions of the UNITY Methodology to the inventory that you are selling on WonderClubX
X
Add Extensions of the UNITY Methodology, This monograph extends and generalizes the UNITY methodology, introduced in the late 1980s by K. Mani Chandy and Jayadev Misra as a formalism aiding in the specification and verification of parallel programs, in several directions. This treatise furth, Extensions of the UNITY Methodology to your collection on WonderClub |
