@inproceedings{availability,
  title = "Models for CSP with availability information",
  author = "Gavin Lowe",
  year = "2010",
  booktitle = "Proceedings of 17th International Workshop on Expressiveness in Concurrency",
}