Extensions of the UNITY methodology : compositionality, fairness, and probability in parallelism
Josyula Ramachandra Rao
Bok Engelsk 1995
| Utgitt | Berlin : Springer , c1995
|
|---|---|
| Omfang | XI, 178 s.
|
| Emner | Computer software - Verification
Parallel programming Parallell programmering parallellprogrammering programmeringsspråk programmering verifisering parallellbehandling |
| ISBN | 0387591737. - 3540591737
|
