Go to main content

Concurrency, security, and puzzles : essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday / Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić, editors.

Gibson-Robinson, Thomas, editor.; Hopcroft, Philippa, editor.; Lazić, Ranko, editor.; Roscoe, A. W., honouree.
2017
QA76.6
Available Online
Formats
Format
BibTeX
MARCXML
TextMARC
MARC
DublinCore
EndNote
NLM
RefWorks
RIS
Add to Basket
Cite
Citation

Linked e-resources

Linked Resource
Online Access
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks

Details

Title
Concurrency, security, and puzzles : essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday / Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić, editors.
ISBN
9783319510460 (electronic book)
3319510460 (electronic book)
9783319510453
DOI
https://doi.org/10.1007/978-3-319-51046-0
Published
Cham : Springer, [2017]
Language
English
Description
1 online resource (xviii, 319 pages) : illustrations.
Item Number
10.1007/978-3-319-51046-0 doi
Call Number
QA76.6
Dewey Decimal Classification
004/.3
Summary
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.
Access Note
Access limited to authorized users.
Digital File Characteristics
text file PDF
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed January 19, 2017).
Added Author
Gibson-Robinson, Thomas, editor.
Hopcroft, Philippa, editor.
Lazić, Ranko, editor.
Roscoe, A. W., honouree.
Series
Lecture notes in computer science ; 10160. 0302-9743
Available in Other Form
Print version: 9783319510453
Linked Resources
Online Access
Record Appears in
Online Resources > Ebooks
All Resources
Bill Roscoe, on his 60th Birthday
A Tribute to Bill Roscoe, on the Occasion of his 60th Birthday
Herding Cats, Oxford Style
Stealthy Protocols: Metrics and Open Problems
A Specification Theory of Real-Time Processes
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
FDR: From Theory to Industrial Application
Information Flow, Distributed Systems, and Refinement, by Example
Abstractions for Transition Systems with Applications to Stubborn Sets
A Hybrid Relational Modelling Language
What Makes Petri Nets Harder to Verify: Stack or Data
Analysing Lock-Free Linearizable Datatypes Using CSP
Discrete Random Variables over Domains, Revisited
A Demonic Lattice of Information
A Brief History of Security Protocols
More Stubborn Set Methods for Process Algebras
A Branching Time Model of CSP
Virtualization Based Development. .

Browse Subjects

Show more subjects...

Statistics

from
to
Export