Building on the unity experience: compositionality, fairness and probability in parallelism

Authors:
Josyula Ramachandra Rao
Affiliations:
-
Venue:
Building on the unity experience: compositionality, fairness and probability in parallelism
Year:
1992

Citing 0
Cited 4

Reasoning about probabilistic parallel programs

ACM Transactions on Programming Languages and Systems (TOPLAS)
Probabilistic predicate transformers

ACM Transactions on Programming Languages and Systems (TOPLAS)
Partial correctness for probabilistic demonic programs

Theoretical Computer Science
Quantitative program logic and expected time bounds in probabilistic distributed algorithms

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract