Skip to main content
  • Book
  • © 2004

Computer Systems

Theory, Technology, and Applications

Part of the book series: Monographs in Computer Science (MCS)

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (47 chapters)

  1. Front Matter

    Pages i-xvii
  2. Introduction: Roger Needham

    • Rick Rashid
    Pages 1-7
  3. Protocol Analysis, Composability and Computation

    • Ross Anderson, Michael Bond
    Pages 15-19
  4. Access Control in Distributed Systems

    • Jean Bacon, Ken Moody
    Pages 21-28
  5. Implementing Condition Variables with Semaphores

    • Andrew D. Birrell
    Pages 29-37
  6. Clumps, Clusters and Classification

    • Christopher M. Bishop
    Pages 39-49
  7. How to Implement Unnecessary Mutexes

    • Mike Burrows
    Pages 51-57
  8. Bioware Languages

    • Luca Cardelli
    Pages 59-65
  9. The Economics of Open Systems

    • David D. Clark
    Pages 67-72
  10. From Universe to Global Internet

    • Jon Crowcroft
    Pages 73-76
  11. Needham-Schroeder Goes to Court

    • Dorothy E. Denning
    Pages 77-78
  12. The Design of Reliable Operating Systems

    • Peter Denning
    Pages 79-83
  13. On Cross-Platform Security

    • Li Gong
    Pages 89-91
  14. Distributed Computing Economics

    • Jim Gray
    Pages 93-101
  15. The Titan Influence

    • David Hartley
    Pages 103-108
  16. Middleware? Muddleware!

    • Andrew Herbert
    Pages 109-116
  17. Grand Challenges for Computing Research

    • Tony Hoare
    Pages 117-123
  18. Sentient Computing

    • Andy Hopper
    Pages 125-131

About this book

An invited collection of peer-reviewed papers surveying key areas of Roger Needham's distinguished research career at Cambridge University and Microsoft Research.

From operating systems to distributed computing, many of the world's leading researchers provide insight into the latest concepts and theoretical insights--many of which are based upon Needham's pioneering research work.

A critical collection of edited-survey research papers spanning the entire range of Roger Needham's distinguished scientific career, from operating systems to distributed computing and security.  Many of the world's leading researchers survey their topics' latest developments and acknowledge the theoretical foundations of Needham's work.

Introduction to book written by Rick Rashid, Director of Microsoft Research Worldwide.

Editors and Affiliations

  • Microsoft Research Ltd., Cambridge, UK

    Andrew Herbert

  • Computer Laboratory, University of Cambridge, Cambridge, UK

    Karen Spärck Jones

Bibliographic Information

Buy it now

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access