@techreport{Stoller&99a,
author="Scott D. Stoller and Leena Unnikrishnan and Yanhong A. Liu",
title="Efficient Detection of Global Properties in Distributed Systems
    Using Partial-Order Methods",
month=jun,
year=1999,
institution="Computer Science Dept., Indiana University",
number=523,
note="Revised July 2000."
}