A classical mind: essays in honour of C. A. R. Hoare
Andrew William Roscoe · Prentice Hall International (UK) Ltd. eBooks · 1994
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