@inproceedings{DBLP:conf/birthday/Hoare04a,
  title = "Process Algebra: A Unifying Approach",
  author = "C. A. R. Hoare",
  year = "2004",
  booktitle = "Communicating Sequential Processes: The First 25 Years, Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised Invited Papers",
  editor = "Ali E. Abdallah and Cliff B. Jones and Jeff W. Sanders",
  pages = "36-60",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "3525",
  doi = "10.1007/11423348_3",
}