Reflections on the work of c.a.r. Hoare / 
edited by A.W. Roscoe, Cliff B. Jones, Kenneth R. Wood. 
 - xii, 430 páginas : 
<br/><br/> Springer eBooks 
<br/><br/>Insight, Inspiration and Collaboration -- From CSP to Game Semantics -- On Mereologies in Computing Science -- Roles, Stacks, Histories: A Triple for Hoare -- Forward with Hoare -- Probabilistic Programming with Coordination -- The Operational Principle and Problem Frames -- The Role of Auxiliary Variables in the Formal Development of Concurrent Programs -- Avoid a Void: The Eradication of Null Dereferencing -- Unfolding CSP -- Quicksort: Combining Concurrency, Recursion, and Mutable Data Structures -- The Thousand-and-One Cryptographers -- On Process-Algebraic Extensions of Metric Temporal Logic -- Fun with Type Functions -- On CSP and the Algebraic Theory of Effects -- CSP is Expressive Enough for ? -- The Tokeneer Experiments. 
<br/><br/><label>ISBN: </label>9781848829121 
<br/><br/><label>LC Class. No.: </label>QA76.17