Short works

Books : reviews

A. W. Roscoe.
The Theory and Practice of Concurrency.
Prentice-Hall. 1998

Jim Davies, A. W. Roscoe, Jim Woodcock, eds.
Millennial Perspectives in Computer Science: proceedings of the 1999 Oxford-Microsoft symposium in honour of Sir Tony Hoare.
Prentice-Hall. 2000


Samson Abramsky. Concurrent interaction games. 2000
Richard S. Bird, Jeremy Gibbons, Geraint Jones. Program optimisation, naturally. 2000
Dines Bjorner. Domain modelling. 2000
Richard P. Brent. The binary Euclidean algorithm. 2000
Stephen Brookes. Communicating Parallel Processes. 2000
Stephen Cameron. Computing with shapes. 2000
K. Mani Chandy, Michel Charpentier. Predicate transformers for composition. 2000
Ole-Johan Dahl. A note on monitor versions. 2000
Edsger W. Dijkstra. A formula is worth a thousand pictures. 2000
Mike J. C. Gordon. Linking higher order logic to binary decision diagrams. 2000
David Gries, Fred B. Schneider. Substitution of equals for equals. 2000
He Jifeng, Xu Qiwen. Advanced features of the duration calculus. 2000
Eric C. R. Hehner. Formalism and the variable. 2000
Michael Jackson. The real world. 2000
Cliff B. Jones. Compositionality, interference and concurrency. 2000
Donald E. Knuth. Dancing links. 2000
David May. The transputer revisited. 2000
Bertrand Meyer. Principles of language design and evolution. 2000
Robin Milner. Computing and communication-what's the difference?. 2000
Jayadev Misra. Generating-functions of interconnection networks. 2000
Carroll Morgan, Annabelle McIver, J. W. Sanders. Probably Hoare? Hoare probably!. 2000
Roger M. Needham. Distributed computing: opportunity, challenge, or misfortune?. 2000
C.-H. L. Ong, A. S. Murawski. A linear-time algorithm for verifying MLL proof nets. 2000
John C. Reynolds. Intuitionistic reasoning about shared mutable data structure. 2000
A. W. Roscoe, G. M. Reed, R. Forster. The successes and failures of behavioural models. 2000
J. Michael Spivey, Silvija Seres. The algebra of searching. 2000
Bernard Sufrin, Oege de Moor. Modeless structure editing. 2000
Antti Valmari. A chaos-free failures-divergences semantics. 2000
Niklaus Wirth. Records, modules, objects, classes, components. 2000
Jim Woodcock, Jim Davies, Christie Bolton. Abstract data types and processes. 2000
Zhou Chaochen, Dimitar P. Guelev, Zhan Naijun. A higher-order duration calculus. 2000

Peter Y. A. Ryan, Steve Schneider, Michael Goldsmith, Gavin Lowe, A. W. Roscoe.
The Modelling and Analysis of Security Protocols: the CSP approach.
Addison Wesley. 2001