Global synchronisation in Linda. - Paul Butcher; Alan C. Wood; Martin Atkins (Concurr. Pract. Exp., 1994)