CONCURRENCY AND COMPUTATION : PRACTICE AND EXPERIENCE Concurrency Computat