Termination of Probabilistic Concurrent Program

Sergiu Hart, Micha Sharir, Amir Pnueli

Research output: Contribution to journal › Article › peer-review

113 Scopus citations

Original language	English
Pages (from-to)	356-380
Number of pages	25
Journal	ACM Transactions on Programming Languages and Systems
Volume	5
Issue number	3
DOIs	https://doi.org/10.1145/2166.357214
State	Published - 1 Jul 1983
Externally published	Yes

Access to Document

@article{a0b0bf94a9bc44dd885e6f996fb0a4a8,

title = "Termination of Probabilistic Concurrent Program",

author = "Sergiu Hart and Micha Sharir and Amir Pnueli",

year = "1983",

month = jul,

day = "1",

doi = "10.1145/2166.357214",

language = "אנגלית",

volume = "5",

pages = "356--380",

journal = "ACM Transactions on Programming Languages and Systems",

issn = "0164-0925",

publisher = "Association for Computing Machinery (ACM)",

number = "3",

}

TY - JOUR

T1 - Termination of Probabilistic Concurrent Program

AU - Hart, Sergiu

AU - Sharir, Micha

AU - Pnueli, Amir

PY - 1983/7/1

Y1 - 1983/7/1

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

U2 - 10.1145/2166.357214

DO - 10.1145/2166.357214

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:84976798378

SN - 0164-0925

VL - 5

SP - 356

EP - 380

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

IS - 3

ER -