Roscoe, A.W.
Reflections on the Work of C.A.R. Hoare
1. Insight, Inspiration and Collaboration
C. B. Jones, A. W. Roscoe
2. From CSP to Game Semantics
Samson Abramsky
3. On Mereologies in Computing Science
Dines Bjørner
4. Roles, Stacks, Histories: A Triple for Hoare
Johannes Borgström, Andrew D. Gordon, Riccardo Pucella
5. Forward with Hoare
Mike Gordon, Hélène Collavizza
6. Probabilistic Programming with Coordination
He Jifeng
7. The Operational Principle and Problem Frames
Michael Jackson
8. The Role of Auxiliary Variables in the Formal Development of Concurrent Programs
C. B. Jones
9. Avoid a Void: The Eradication of Null Dereferencing
Bertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf
10. Unfolding CSP
Mikkel Bundgaard, Robin Milner
11. Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures
David Kitchin, Adrian Quark, Jayadev Misra
12. The Thousand-and-One Cryptographers
A. K. McIver, C. C. Morgan
13. On Process-Algebraic Extensions of Metric Temporal Logic
Christoph Haase, Joël Ouaknine, James Worrell
14. Fun with Type Functions
Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan
15. On CSP and the Algebraic Theory of Effects
Rob Glabbeek, Gordon Plotkin
16. CSP is Expressive Enough for
A. W. Roscoe
17. The Tokeneer Experiments
Jim Woodcock, Emine Gökçe Aydal, Rod Chapman
Avainsanat: Computer Science, History of Computing
- Tekijä(t)
- Roscoe, A.W.
- Jones, Cliff B.
- Wood, Kenneth R.
- Julkaisija
- Springer
- Julkaisuvuosi
- 2010
- Kieli
- en
- Painos
- 1
- Sarja
- History of Computing
- Sivumäärä
- 12 sivua
- Kategoria
- Tietotekniikka, tietoliikenne
- Tiedostomuoto
- E-kirja
- eISBN (PDF)
- 9781848829121