Skip to main content
SpringerLink
Log in
Book cover

Concurrency, Security, and Puzzles

Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday

  • Book
  • © 2017

Overview

Editors:
  1. Thomas Gibson-Robinson

    1. University of Oxford, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Philippa Hopcroft

    1. University of Oxford, Oxford, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Ranko Lazić

    1. University of Warwick, Coventry, United Kingdom

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10160)

Part of the book sub series: Programming and Software Engineering (LNPSE)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 chapters)

  1. Front Matter

    Pages I-XVIII
    Download chapter PDF

  2. Stealthy Protocols: Metrics and Open Problems

    • Olga Chen, Catherine Meadows, Gautam Trivedi
    Pages 1-17

  3. A Specification Theory of Real-Time Processes

    • Chris Chilton, Marta Kwiatkowska, Faron Moller, Xu Wang
    Pages 18-38

  4. Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL

    • Simon Foster, Jim Woodcock
    Pages 39-64

  5. FDR: From Theory to Industrial Application

    • Thomas Gibson-Robinson, Guy Broadfoot, Gustavo Carvalho, Philippa Hopcroft, Gavin Lowe, Sidney Nogueira et al.
    Pages 65-87

  6. Information Flow, Distributed Systems, and Refinement, by Example

    • Joshua D. Guttman
    Pages 88-103

  7. Abstractions for Transition Systems with Applications to Stubborn Sets

    • Henri Hansen
    Pages 104-123

  8. A Hybrid Relational Modelling Language

    • He Jifeng, Li Qin
    Pages 124-143

  9. What Makes Petri Nets Harder to Verify: Stack or Data?

    • Ranko Lazić, Patrick Totzke
    Pages 144-161

  10. Analysing Lock-Free Linearizable Datatypes Using CSP

    • Gavin Lowe
    Pages 162-184

  11. Discrete Random Variables Over Domains, Revisited

    • Michael Mislove
    Pages 185-202

  12. A Demonic Lattice of Information

    • Carroll Morgan
    Pages 203-222

  13. A Brief History of Security Protocols

    • Peter Y. A. Ryan
    Pages 223-245

  14. More Stubborn Set Methods for Process Algebras

    • Antti Valmari
    Pages 246-271

  15. A Branching Time Model of CSP

    • Rob van Glabbeek
    Pages 272-293

  16. Virtualization Based Development

    • Jay Yantchev, Atanas Parashkevov
    Pages 294-318

  17. Back Matter

    Pages 319-319
    Download chapter PDF
Back to top

Keywords

About this book

This festschrift was written in honor of Andrew William (Bill) Roscoe on the occasion of his 60th birthday, and features tributes by Sir Tony Hoare, Stephen Brookes, and Michael Wooldridge.  Bill Roscoe is an international authority in process algebra, and has been the driving force behind the development of the FDR refinement checker for CSP.  He is also world renowned for his pioneering work in analyzing security protocols, modeling information flow, human-interactive security, and much more. 
Many of these areas are reflected in the 15 invited research articles in this festschrift, and in the presentations at the "BILL-60" symposium held in Oxford, UK, on January 9 and 10, 2017.

Editors and Affiliations

  • University of Oxford, Oxford, United Kingdom

    Thomas Gibson-Robinson, Philippa Hopcroft

  • University of Warwick, Coventry, United Kingdom

    Ranko Lazić

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation