default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDReflections on the Work of C. A. R. Hoare 2010
- A. W. Roscoe, Clifford B. Jones
, Kenneth R. Wood:
Reflections on the Work of C. A. R. Hoare. Springer 2010, ISBN 978-1-84882-911-4 - Clifford B. Jones, A. W. Roscoe:
Insight, Inspiration and Collaboration. 1-32 - Samson Abramsky:
From CSP to Game Semantics. 33-45 - Dines Bjørner:
On Mereologies in Computing Science. 47-70 - Johannes Borgström, Andrew D. Gordon, Riccardo Pucella:
Roles, Stacks, Histories: A Triple for Hoare. 71-99 - Mike Gordon, Hélène Collavizza:
Forward with Hoare. 101-121 - Jifeng He:
Probabilistic Programming with Coordination. 123-142 - Michael Jackson:
The Operational Principle and Problem Frames. 143-165 - Clifford B. Jones:
The Role of Auxiliary Variables in the Formal Development of Concurrent Programs. 167-187 - Bertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf:
Avoid a Void: The Eradication of Null Dereferencing. 189-211 - Mikkel Bundgaard, Robin Milner:
Unfolding CSP. 213-228 - David Kitchin, Adrian Quark, Jayadev Misra:
Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures. 229-254 - A. K. McIver, Carroll C. Morgan:
The Thousand-and-One Cryptographers. 255-282 - Christoph Haase, Joël Ouaknine, James Worrell:
On Process-Algebraic Extensions of Metric Temporal Logic. 283-300 - Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan:
Fun with Type Functions. 301-331 - Rob J. van Glabbeek, Gordon D. Plotkin:
On CSP and the Algebraic Theory of Effects. 333-369 - A. W. Roscoe:
CSP is Expressive Enough for π. 371-404 - Jim Woodcock, Emine Gökçe Aydal, Rod Chapman:
The Tokeneer Experiments. 405-430
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-02-20 00:44 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
