Quiescence, Fairness, Testing, and the Notion of Implementation (Extended Abstract).

Roberto Segala

Browse the full CONCUR paper archive.