Quiescence, Fairness, Testing, and the Notion of Implementation

Information and Computation - United States
doi 10.1006/inco.1997.2652