↓ Skip to main content
What is this page? Embed badge

Concurrency, Security, and Puzzles

Overview of attention for book
Cover of 'Concurrency, Security, and Puzzles'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Stealthy Protocols: Metrics and Open Problems
  3. Altmetric Badge
    Chapter 2 A Specification Theory of Real-Time Processes
  4. Altmetric Badge
    Chapter 3 Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
  5. Altmetric Badge
    Chapter 4 FDR: From Theory to Industrial Application
  6. Altmetric Badge
    Chapter 5 Information Flow, Distributed Systems, and Refinement, by Example
  7. Altmetric Badge
    Chapter 6 Abstractions for Transition Systems with Applications to Stubborn Sets
  8. Altmetric Badge
    Chapter 7 A Hybrid Relational Modelling Language
  9. Altmetric Badge
    Chapter 8 Concurrency, Security, and Puzzles
  10. Altmetric Badge
    Chapter 9 Analysing Lock-Free Linearizable Datatypes Using CSP
  11. Altmetric Badge
    Chapter 10 Discrete Random Variables Over Domains, Revisited
  12. Altmetric Badge
    Chapter 11 A Demonic Lattice of Information
  13. Altmetric Badge
    Chapter 12 A Brief History of Security Protocols
  14. Altmetric Badge
    Chapter 13 More Stubborn Set Methods for Process Algebras
  15. Altmetric Badge
    Chapter 14 A Branching Time Model of CSP
  16. Altmetric Badge
    Chapter 15 Virtualization Based Development
Attention for Chapter 2: A Specification Theory of Real-Time Processes
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
1 Mendeley
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.