Warehouse Stock Clearance Sale

Grab a bargain today!


Extensions of the UNITY Methodology
By
Rating

Product Description
Product Details

Promotional Information

Springer Book Archives

Table of Contents

Prologue.- Preliminaries.- An introduction to UNITY.- The role of commutativity in parallel program design.- On the design of proof rules for fair parallel programs.- Reasoning about probabilistic parallel programs.- Eventual determinism: Using probabilistic means to achieve deteministic ends.- Epilogue.

Ask a Question About this Product More...
 
Look for similar items by category
Home » Books » Computers » Programming » General
Home » Books » Computers » Hardware » General
People also searched for
This title is unavailable for purchase as none of our regular suppliers have stock available. If you are the publisher, author or distributor for this item, please visit this link.

↑
Back to top