default search action

combined dblp search
author search
venue search
publication search

ask others

Reflections on the Work of C. A. R. Hoare 2010

> Home > (missing label)

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - books/daglib/0025134
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/0025134
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
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/JonesR10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/JonesR10
Clifford B. Jones, A. W. Roscoe:
Insight, Inspiration and Collaboration. 1-32
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Abramsky10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Abramsky10
Samson Abramsky:
From CSP to Game Semantics. 33-45
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Bjorner10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Bjorner10
Dines Bjørner:
On Mereologies in Computing Science. 47-70
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/BorgstromGP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/BorgstromGP10
Johannes Borgström, Andrew D. Gordon, Riccardo Pucella:
Roles, Stacks, Histories: A Triple for Hoare. 71-99
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/GordonC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/GordonC10
Mike Gordon, Hélène Collavizza:
Forward with Hoare. 101-121
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/He10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/He10
Jifeng He:
Probabilistic Programming with Coordination. 123-142
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Jackson10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Jackson10
Michael Jackson:
The Operational Principle and Problem Frames. 143-165
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Jones10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Jones10
Clifford B. Jones:
The Role of Auxiliary Variables in the Formal Development of Concurrent Programs. 167-187
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/MeyerKS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/MeyerKS10
Bertrand Meyer, Alexander Kogtenkov, Emmanuel Stapf:
Avoid a Void: The Eradication of Null Dereferencing. 189-211
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/BundgaardM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/BundgaardM10
Mikkel Bundgaard, Robin Milner:
Unfolding CSP. 213-228
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/KitchinQM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/KitchinQM10
David Kitchin, Adrian Quark, Jayadev Misra:
Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures. 229-254
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/McIverM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/McIverM10
A. K. McIver, Carroll C. Morgan:
The Thousand-and-One Cryptographers. 255-282
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/HaaseOW10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/HaaseOW10
Christoph Haase, Joël Ouaknine, James Worrell:
On Process-Algebraic Extensions of Metric Temporal Logic. 283-300
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/KiselyovJS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/KiselyovJS10
Oleg Kiselyov, Simon Peyton Jones, Chung-chieh Shan:
Fun with Type Functions. 301-331
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/GlabbeekP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/GlabbeekP10
Rob J. van Glabbeek, Gordon D. Plotkin:
On CSP and the Algebraic Theory of Effects. 333-369
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/Roscoe10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/Roscoe10
A. W. Roscoe:
CSP is Expressive Enough for π. 371-404
- view
  authority control:
- export record
  dblp key:
  - books/daglib/p/WoodcockAC10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/daglib/p/WoodcockAC10
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.