Extensions of the Unity Methodology: Compositionality, Fairness and Probability in Parallelism

By Josyula R. Rao

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 3540591737
• ISBN13: 9783540591733
• Release Date: April 1995
• Publisher: Springer
• Length: 178 Pages
• Weight: 0.62 lbs.
• Dimensions: 0.4" x 6.1" x 9.2"