1
Communicating Sequential Processes. The First 25 Years [E-Book] / Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers
2
Formal Aspects of Security [E-Book] : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers /