A Classical Mind: Essays in Honour of C.A.R.Hoare

A Classical Mind: Essays in Honour of C.A.R.Hoare

By: A. W. Roscoe (editor)Paperback

More than 4 weeks availability


To celebrate the 60th birthday and the many achievements of Tony Hoare, a rich assembly of contributors has come together to provide a volume of papers dedicated to him. The book has significant contributions from distinguished authors across a wide spectrum of computer science: from software engineering practice and computer architecture to a range of theoretical topics.

Create a review


1. Interaction Categories and Communicating Sequential Processes2. Relational Program Derivation and Context-free Language Recognition3. Formal Model of Robots: Geometry and kinematics4. Fair Communicating Processes5. Hiding and Behaviour: An Institutional approach6. Monitors Revisited7. On the design of Calculational Proofs8. Proof of Correctness of Object Representations9. A Mechanized Hoare Logic of State Transitions10. Constant-space Quicksort11. From CSP to Hybrid Systems12. Abstractions of Time13. Software Development Method14. Process Algebra Arguments about an Object-based Design Notation15. Bracket Notation for the 'Coefficient of' Operator16. Implementing Coherent Memory17. How to Design a Parallel Computer18. Powerlist: A Structure for parallel recursion19. The Cuppest Capjunctive Capping, and Galois20. The Advantages of Free Choice: A symmetric and fully distributed solution21. Model-checking CSP22. The Semantics of Id23. Correctness of Data Representations on Algol-like Languages24. Software is History!25. A Mean Value Calculus of Durations

Product Details

  • publication date: 01/01/1994
  • ISBN13: 9780132948449
  • Format: Paperback
  • Number Of Pages: 464
  • ID: 9780132948449
  • weight: 1302
  • ISBN10: 0132948443

Delivery Information

  • Saver Delivery: Yes
  • 1st Class Delivery: Yes
  • Courier Delivery: Yes
  • Store Delivery: Yes

Prices are for internet purchases only. Prices and availability in WHSmith Stores may vary significantly