Concurrency, Security, and Puzzles : Essays Dedicated to Andrew William Roscoe on the Occasion of His 60th Birthday /
Autor Corporativo: | |
---|---|
Otros Autores: | , , |
Formato: | eBook |
Lenguaje: | English |
Publicado: |
Cham :
Springer International Publishing : Imprint: Springer,
2017.
|
Edición: | 1st ed. 2017. |
Colección: | Programming and Software Engineering ;
10160 |
Materias: |
Tabla de Contenidos:
- 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. .