@article{ready-tests,
  title = "Extending CSP with tests for availability",
  author = "Gavin Lowe",
  year = "2009",
  booktitle = "Procedings of Communicating Process Architectures (CPA 2009)",
  howpublished = "In Procedings of Communicating Process Architectures (CPA 2009)",
  journal = "Procedings of Communicating Process Architectures (CPA 2009)",
}