@article{welch-alting-10,
  author = {P. H. Welch and N. C. C. Brown and J. Moores and K. Chalmers and B. H. C. Sputh},
  title = {{Alting barriers: synchronisation with choice in Java using JCSP}},
  month = {June},
  year = {2010},
  pages = {1049--1062},
  doi = {10.1002/cpe.1471},
  journal = {Concurrency and Computation: Practice and Experience},
  volume = {22},
  number = {8},
  publisher = {John Wiley & Sons},
}