Eugene Stark

Eugene Stark

Stony Brook University - Stony Brook / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1672293
person_outline Eugene Stark's MOST POPULAR ARTICLES
1-) Reaching approximate agreement in the presence of faultsD Dolev, NA Lynch, SS Pinter, EW Stark, WE WeihlJournal of the ACM (JACM) 33 (3), 499-516, 19866101986
2-) Composition and behaviors of probabilistic I/O automataSH Wu, SA Smolka, EW StarkTheoretical Computer Science 176 (1-2), 1-38, 19971671997
3-) A proof technique for rely/guarantee propertiesEW StarkFoundations of Software Technology and Theoretical Computer Science: Fifth …, 19851621985
4-) Concurrent transition systemsEW StarkTheoretical Computer Science 64 (3), 221-269, 19891621989
5-) A proof of the Kahn principle for input/output automataNA Lynch, EW StarkInformation and Computation 82 (1), 81-92, 19891531989