External Links

Journal: Journal of the ACM

Volume 44, Issue 6

779 -- 805Cynthia Dwork, Maurice Herlihy, Orli Waarts. Contention in shared memory algorithms
806 -- 825Edith Hemaspaandra, Lane A. Hemaspaandra, Jörg Rothe. Exact analysis of Dodgson elections: Lewis Carroll s 1876 voting system is complete for parallel access to NP
826 -- 849Hal Wasserman, Manuel Blum. Software reliability via run-time result-checking
850 -- 891Manfred Broy. Compositional refinement of interactive systems
runs on