@inproceedings{Barnes/Welch:2005,
 author		={P.H. Welch and F.R.M. Barnes},
 title		={Communicating Mobile Processes: introducing occam-pi},
 year		=2005,
 month		=apr,
 pages		={175-210},
 booktitle	={25 Years of {CSP}},
 editor		={A.E. Abdallah and C.B. Jones and J.W. Sanders},
 series		={Lecture Notes in Computer Science},
 publisher	={{Springer Verlag}},
 volume		=3525,
}