
Classical Mind Essys Hnr
A.W. Roscoe(Author)
Addison Wesley (Publisher)
Published on 1. January 1994
Book
Paperback/Softback
464 pages
978-0-13-294844-9 (ISBN)
Description
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.
More details
Language
English
Place of publication
Boston
United States
Publishing group
Pearson Education (US)
Target group
Professional and scholarly
Dimensions
Height: 240 mm
Width: 178 mm
Thickness: 28 mm
Weight
830 gr
ISBN-13
978-0-13-294844-9 (9780132948449)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Content
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