↓ Skip to main content

Beauty Is Our Business

Overview of attention for book
Cover of 'Beauty Is Our Business'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Proving Termination of Parallel Programs
  3. Altmetric Badge
    Chapter 2 On a Relation on Functions
  4. Altmetric Badge
    Chapter 3 Efficient Solution of a Non-Monotonic Inverse Problem
  5. Altmetric Badge
    Chapter 4 Semantics of Quasi-Boolean Expressions
  6. Altmetric Badge
    Chapter 5 Small Specification Exercises
  7. Altmetric Badge
    Chapter 6 Architecture of Real-Time Systems
  8. Altmetric Badge
    Chapter 7 The Use of a Formal Simulator to Verify a Simple Real Time Control Program
  9. Altmetric Badge
    Chapter 8 Exploring the Future: Trends and Discontinuities
  10. Altmetric Badge
    Chapter 9 On a Renewed Visit to the Banker and a Remarkable Analogy
  11. Altmetric Badge
    Chapter 10 On Bounded Buffers: Modularity, Robustness, and Reliability in Reactive Systems
  12. Altmetric Badge
    Chapter 11 Examples in Program Composition
  13. Altmetric Badge
    Chapter 12 On the Mechanism of the Hydrogenation of Edible Oils
  14. Altmetric Badge
    Chapter 13 The Problem of the Majority Network
  15. Altmetric Badge
    Chapter 14 A Little Exercise in Deriving Multiprograms
  16. Altmetric Badge
    Chapter 15 Experimenting with a Refinement Calculus
  17. Altmetric Badge
    Chapter 16 Serializable Programs, Parallelizable Assertions: A Basis for Interleaving
  18. Altmetric Badge
    Chapter 17 Binary to Decimal, One More Time
  19. Altmetric Badge
    Chapter 18 Rotate and Double
  20. Altmetric Badge
    Chapter 19 Beautifying Gödel
  21. Altmetric Badge
    Chapter 20 A Striptease of Entropy
  22. Altmetric Badge
    Chapter 21 On a Theorem of Jacobson
  23. Altmetric Badge
    Chapter 22 Modalities of Nondeterminacy
  24. Altmetric Badge
    Chapter 23 A Theory for the Derivation of C-mos Circuit Designs
  25. Altmetric Badge
    Chapter 24 On Mathematical Induction and the Invariance Theorem
  26. Altmetric Badge
    Chapter 25 Formalizing Some Classic Synchronization Primitives
  27. Altmetric Badge
    Chapter 26 Consequences
  28. Altmetric Badge
    Chapter 27 Shortest and Longest Segments
  29. Altmetric Badge
    Chapter 28 A Simple Program Whose Proof Isn’t
  30. Altmetric Badge
    Chapter 29 Binding Structure and Behaviour in “Whole Net” Concurrency Semantics
  31. Altmetric Badge
    Chapter 30 Maximal Strong Components: An Exercise in Program Presentation
  32. Altmetric Badge
    Chapter 31 A Systolic Program for Gauss-Jordan Elimination
  33. Altmetric Badge
    Chapter 32 Coding for Channels with Localized Errors
  34. Altmetric Badge
    Chapter 33 Topology-Independent Algorithms Based on Spanning Trees
  35. Altmetric Badge
    Chapter 34 An Exercise in the Verification of Multi-Process Programs
  36. Altmetric Badge
    Chapter 35 The Limitations to Delay-Insensitivity in Asynchronous Circuits
  37. Altmetric Badge
    Chapter 36 A Simple Proof of a Simple Consensus Algorithm
  38. Altmetric Badge
    Chapter 37 Of wp and CSP
  39. Altmetric Badge
    Chapter 38 Programming by Expression Refinement: the KMP Algorithm
  40. Altmetric Badge
    Chapter 39 Methodical Competitive Snoopy-Caching
  41. Altmetric Badge
    Chapter 40 Beauty and the Beast of Software Complexity — Elegance versus Elephants
  42. Altmetric Badge
    Chapter 41 A Note on Feasibility
  43. Altmetric Badge
    Chapter 42 A Curious Property of Points and Circles in the Plane
  44. Altmetric Badge
    Chapter 43 A Problem Involving Subsequences
  45. Altmetric Badge
    Chapter 44 A Personal Perspective of the Alpern-Schneider Characterization of Safety and Liveness
  46. Altmetric Badge
    Chapter 45 Simpler Proofs for Concurrent Reading and Writing
  47. Altmetric Badge
    Chapter 46 Goodbye Junctivity?
  48. Altmetric Badge
    Chapter 47 An Assignment Problem for the Vertices of a Cycle
  49. Altmetric Badge
    Chapter 48 Duality and De Morgan Principles for Lists
  50. Altmetric Badge
    Chapter 49 The Quest for Timeless Specifications Leads to Non-Stepping Automata
  51. Altmetric Badge
    Chapter 50 The Maximum Length of a Palindrome in a Sequence
  52. Altmetric Badge
    Chapter 51 On Form, Formalism and Equivalence
  53. Altmetric Badge
    Chapter 52 Drawing Lines, Circles, and Ellipses in a Raster
  54. Altmetric Badge
    Chapter 53 Calculations with Relations, an Example
  55. Altmetric Badge
    Chapter 54 Two Proofs for Pythagoras
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
wikipedia
3 Wikipedia pages

Readers on

mendeley
4 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.
Title
Beauty Is Our Business
Published by
Springer New York, December 2012
DOI 10.1007/978-1-4612-4476-9
ISBNs
978-1-4612-8792-6, 978-1-4612-4476-9
Editors

Feijen, W. H. J., Gasteren, A. J. M., Gries, D., Misra, J.

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 4 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Unknown 4 100%

Demographic breakdown

Readers by professional status Count As %
Student > Doctoral Student 2 50%
Student > Ph. D. Student 1 25%
Professor 1 25%
Readers by discipline Count As %
Computer Science 1 25%
Agricultural and Biological Sciences 1 25%
Psychology 1 25%
Engineering 1 25%