TY - GEN

T1 - Concurrent probabilistic program, or

T2 - 10th International Colloquium on Automata, Languages and Programming, ICALP 1983

AU - Hart, Sergiu

AU - Sharir, Micha

N1 - Publisher Copyright:
© 1983, Springer-Verlag.

PY - 1983

Y1 - 1983

N2 - Given a finite set of concurrent processes executing asynchronously, such that each process may use randomization in its course of execution, we consider the problem of computing the worst-case probability for the program which consists of these processes to terminate (i.e, to converge to a specified set of common goal states), under a fair interleaving scheduling of the processes. Several methods for computing this probability are presented, and characterizations of the special case in which this probability is 1 are derived. Specializations of these characterizations to the case of deterministic and nondeterministic programs are also discussed.

AB - Given a finite set of concurrent processes executing asynchronously, such that each process may use randomization in its course of execution, we consider the problem of computing the worst-case probability for the program which consists of these processes to terminate (i.e, to converge to a specified set of common goal states), under a fair interleaving scheduling of the processes. Several methods for computing this probability are presented, and characterizations of the special case in which this probability is 1 are derived. Specializations of these characterizations to the case of deterministic and nondeterministic programs are also discussed.

UR - http://www.scopus.com/inward/record.url?scp=0020985945&partnerID=8YFLogxK

U2 - 10.1007/BFb0036917

DO - 10.1007/BFb0036917

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:0020985945

SN - 9783540123170

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 304

EP - 318

BT - Automata, Languages and Programming - 10th Colloquium

A2 - Diaz, Josep

PB - Springer Verlag

Y2 - 18 July 1983 through 22 July 1983

ER -