↓ Skip to main content

Programming Languages and Systems

Overview of attention for book
Cover of 'Programming Languages and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Consistent Subtyping for All
  3. Altmetric Badge
    Chapter 2 HOBiT: Programming Lenses Without Using Lens Combinators
  4. Altmetric Badge
    Chapter 3 Dualizing Generalized Algebraic Data Types by Matrix Transposition
  5. Altmetric Badge
    Chapter 4 Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach
  6. Altmetric Badge
    Chapter 5 An Assertion-Based Program Logic for Probabilistic Programs
  7. Altmetric Badge
    Chapter 6 Fine-Grained Semantics for Probabilistic Programs
  8. Altmetric Badge
    Chapter 7 How long, O Bayesian network, will I sample thee?
  9. Altmetric Badge
    Chapter 8 Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus
  10. Altmetric Badge
    Chapter 9 Failure is Not an Option
  11. Altmetric Badge
    Chapter 10 Let Arguments Go First
  12. Altmetric Badge
    Chapter 11 Behavioural Equivalence via Modalities for Algebraic Effects
  13. Altmetric Badge
    Chapter 12 Explicit Effect Subtyping
  14. Altmetric Badge
    Chapter 13 A Separation Logic for a Promising Semantics
  15. Altmetric Badge
    Chapter 14 Logical Reasoning for Disjoint Permissions
  16. Altmetric Badge
    Chapter 15 Deadlock-Free Monitors
  17. Altmetric Badge
    Chapter 16 Fragment Abstraction for Concurrent Shape Analysis
  18. Altmetric Badge
    Chapter 17 Reasoning About a Machine with Local Capabilities
  19. Altmetric Badge
    Chapter 18 Modular Product Programs
  20. Altmetric Badge
    Chapter 19 A Fistful of Dollars: Formalizing Asymptotic Complexity Claims via Deductive Program Verification
  21. Altmetric Badge
    Chapter 20 Verified Learning Without Regret
  22. Altmetric Badge
    Chapter 21 Program Verification by Coinduction
  23. Altmetric Badge
    Chapter 22 Velisarios: Byzantine Fault-Tolerant Protocols Powered by Coq
  24. Altmetric Badge
    Chapter 23 Evaluating Design Tradeoffs in Numeric Static Analysis for Java
  25. Altmetric Badge
    Chapter 24 An Abstract Interpretation Framework for Input Data Usage
  26. Altmetric Badge
    Chapter 25 Higher-Order Program Verification via HFL Model Checking
  27. Altmetric Badge
    Chapter 26 Quantitative Analysis of Smart Contracts
  28. Altmetric Badge
    Chapter 27 Session-Typed Concurrent Contracts
  29. Altmetric Badge
    Chapter 28 A Typing Discipline for Statically Verified Crash Failure Handling in Distributed Systems
  30. Altmetric Badge
    Chapter 29 On Polymorphic Sessions and Functions
  31. Altmetric Badge
    Chapter 30 Concurrent Kleene Algebra: Free Model and Completeness
  32. Altmetric Badge
    Chapter 31 Correctness of a Concurrent Object Collector for Actor Languages
  33. Altmetric Badge
    Chapter 32 Paxos Consensus, Deconstructed and Abstracted
  34. Altmetric Badge
    Chapter 33 On Parallel Snapshot Isolation and Release/Acquire Consistency
  35. Altmetric Badge
    Chapter 34 Eventual Consistency for CRDTs
  36. Altmetric Badge
    Chapter 35 A Verified Compiler from Isabelle/HOL to CakeML
  37. Altmetric Badge
    Chapter 36 Compositional Verification of Compiler Optimisations on Relaxed Memory
Attention for Chapter 30: Concurrent Kleene Algebra: Free Model and Completeness
Altmetric Badge

About this Attention Score

  • Above-average Attention Score compared to outputs of the same age (63rd percentile)
  • Good Attention Score compared to outputs of the same age and source (77th percentile)

Mentioned by

twitter
2 X users
wikipedia
1 Wikipedia page

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
6 Mendeley
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
Concurrent Kleene Algebra: Free Model and Completeness
Chapter number 30
Book title
Programming Languages and Systems
Published in
Lecture notes in computer science, April 2018
DOI 10.1007/978-3-319-89884-1_30
Book ISBNs
978-3-31-989883-4, 978-3-31-989884-1
Authors

Tobias Kappé, Paul Brunet, Alexandra Silva, Fabio Zanasi, Kappé, Tobias, Brunet, Paul, Silva, Alexandra, Zanasi, Fabio

X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.
Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
Unknown 6 100%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 3 50%
Researcher 2 33%
Student > Bachelor 1 17%
Readers by discipline Count As %
Computer Science 6 100%
Attention Score in Context

Attention Score in Context

This research output has an Altmetric Attention Score of 4. This is our high-level measure of the quality and quantity of online attention that it has received. This Attention Score, as well as the ranking and number of research outputs shown below, was calculated when the research output was last mentioned on 30 June 2018.
All research outputs
#7,267,147
of 24,002,307 outputs
Outputs from Lecture notes in computer science
#2,235
of 8,172 outputs
Outputs of similar age
#120,677
of 331,152 outputs
Outputs of similar age from Lecture notes in computer science
#9
of 35 outputs
Altmetric has tracked 24,002,307 research outputs across all sources so far. This one has received more attention than most of these and is in the 69th percentile.
So far Altmetric has tracked 8,172 research outputs from this source. They typically receive a little more attention than average, with a mean Attention Score of 5.1. This one has gotten more attention than average, scoring higher than 72% of its peers.
Older research outputs will score higher simply because they've had more time to accumulate mentions. To account for age we can compare this Altmetric Attention Score to the 331,152 tracked outputs that were published within six weeks on either side of this one in any source. This one has gotten more attention than average, scoring higher than 63% of its contemporaries.
We're also able to compare this research output to 35 others from the same source and published within six weeks on either side of this one. This one has done well, scoring higher than 77% of its contemporaries.