Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism /
Збережено в:
| Автор: | |
|---|---|
| Формат: | Книга |
| Мова: | English |
| Опубліковано: |
Berlin ; New York :
Springer-Verlag,
c1995.
|
| Серія: | Lecture notes in computer science ;
908. |
| Предмети: |
Зміст:
- 1. Prologue
- 2. Preliminaries
- 3. An Introduction to UNITY
- 4. The Role of Commutativity in Parallel Program Design
- 5. On the Design of Proof Rules for Fair Parallel Programs
- 6. Reasoning About Probabilistic Parallel Programs
- 7. Eventual Determinism: Using Probabilistic Means to Achieve Deterministic Ends
- 8. Epilogue.