↓ 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 7: A Hybrid Relational Modelling Language
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
2 Mendeley
Summary Dimensions citations
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
A Hybrid Relational Modelling Language
Chapter number 7
Book title
Concurrency, Security, and Puzzles
Published by
Springer, Cham, January 2017
DOI 10.1007/978-3-319-51046-0_7
Book ISBNs
978-3-31-951045-3, 978-3-31-951046-0
Authors

He Jifeng, Li Qin, Jifeng, He, Qin, Li

View on publisher site
Timeline

Login to access the full chart related to this output.

If you don’t have an account, click here to discover Explorer

Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 2 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 2 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 50%
Lecturer 1 50%
Readers by discipline Count As %
Computer Science 2 100%

This page is provided by Altmetric.