
Formal Aspects of Security
Ali E. Abdallah, Peter Ryan, Steve Schneider
₹5,508

Symposium on the Occasion of 25 Years of Csp, London, Uk, July 7-8, 2004. Revised Invited Pape
by Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders
Free delivery. Nothing extra to pay at checkout.
This volume, like the symposium CSP25 which gave rise to it, commemorates the semi-jubilee of Communicating Sequential Processes. 1 Tony Hoare's paper "Communicating Sequential Processes" is today widely regarded as one of the most in?uential papers in computer science. To comm- orate it, an event was organized under the auspices of BCS-FACS (the British Computer Society's Formal Aspects of Computing Science specialist group).
Description supplied by the publisher.