Concurrency, security, and puzzles : essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday /: essays dedicated to Andrew William Roscoe on the occasion of his 60th birthday. ([2017])

• Record Type: Book
• Further Information: Note: Thomas Gibson-Robinson, Philippa Hopcroft, Ranko Lazić, editors.
• Editors: Gibson-Robinson, Thomas; Hopcroft, Philippa; Lazić, Ranko
• Other Names: Roscoe, A. W honouree.
• Contents: 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.
• Publisher Details: Cham : Springer
• Publication Date: 2017
• Extent: 1 online resource (xviii, 319 pages), illustrations
• Subjects: 004/.3; Computer science; Computer multitasking; Computer security; Computer multitasking; Computer security; Computer Science; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Mathematical Logic and Formal Languages; Computer Communication Networks; Programming Techniques; Computers -- Software Development & Engineering -- General; Computers -- Programming Languages -- General; Mathematics -- Logic; Computers -- Hardware -- Network Hardware; Computers -- Programming -- General; Software Engineering; Programming & scripting languages: general; Mathematical theory of computation; Network hardware; Computer programming / software development; Logic design; Software engineering; Computer Communication Networks; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783319510460; 3319510460; 3319510452; 9783319510453
• Related ISBNs: 9783319510453
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed January 19, 2017).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.