↓ Skip to main content

Foundations of Software Science and Computation Structures

Overview of attention for book
Cover of 'Foundations of Software Science and Computation Structures'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Pattern Graphs and Rule-Based Models: The Semantics of Kappa
  3. Altmetric Badge
    Chapter 2 History-Register Automata
  4. Altmetric Badge
    Chapter 3 Fatal Attractors in Parity Games
  5. Altmetric Badge
    Chapter 4 On Unique Decomposition of Processes in the Applied π -Calculus
  6. Altmetric Badge
    Chapter 5 Bounded Context-Switching and Reentrant Locking
  7. Altmetric Badge
    Chapter 6 Reachability of Communicating Timed Processes
  8. Altmetric Badge
    Chapter 7 Modular Bisimulation Theory for Computations and Values
  9. Altmetric Badge
    Chapter 8 Checking Bisimilarity for Attributed Graph Transformation
  10. Altmetric Badge
    Chapter 9 Comodels and Effects in Mathematical Operational Semantics
  11. Altmetric Badge
    Chapter 10 Preorders on Monads and Coalgebraic Simulations
  12. Altmetric Badge
    Chapter 11 A Proof System for Compositional Verification of Probabilistic Concurrent Processes
  13. Altmetric Badge
    Chapter 12 Partiality and Recursion in Higher-Order Logic
  14. Altmetric Badge
    Chapter 13 Some Sahlqvist Completeness Results for Coalgebraic Logics
  15. Altmetric Badge
    Chapter 14 Foundations of Software Science and Computation Structures
  16. Altmetric Badge
    Chapter 15 On Monadic Parametricity of Second-Order Functionals
  17. Altmetric Badge
    Chapter 16 Deconstructing General References via Game Semantics
  18. Altmetric Badge
    Chapter 17 Separation Logic for Non-local Control Flow and Block Scope Variables
  19. Altmetric Badge
    Chapter 18 The Parametric Ordinal-Recursive Complexity of Post Embedding Problems
  20. Altmetric Badge
    Chapter 19 Deciding Definability by Deterministic Regular Expressions
  21. Altmetric Badge
    Chapter 20 Type-Based Complexity Analysis for Fork Processes
  22. Altmetric Badge
    Chapter 21 Pure Pointer Programs and Tree Isomorphism
  23. Altmetric Badge
    Chapter 22 A Language for Differentiable Functions
  24. Altmetric Badge
    Chapter 23 Computing Quantiles in Markov Reward Models
  25. Altmetric Badge
    Chapter 24 Parameterized Weighted Containment
  26. Altmetric Badge
    Chapter 25 Weighted Specifications over Nested Words
  27. Altmetric Badge
    Chapter 26 Foundations of Software Science and Computation Structures
  28. Altmetric Badge
    Chapter 27 Foundations of Software Science and Computation Structures
  29. Altmetric Badge
    Chapter 28 Generalised Name Abstraction for Nominal Sets
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
4 Dimensions

Readers on

mendeley
46 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
Foundations of Software Science and Computation Structures
Published by
Springer Berlin Heidelberg, February 2013
DOI 10.1007/978-3-642-37075-5
ISBNs
978-3-64-237074-8, 978-3-64-237075-5
Editors

Pfenning, Frank

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

Geographical breakdown

Country Count As %
United States 1 2%
Germany 1 2%
Unknown 44 96%

Demographic breakdown

Readers by professional status Count As %
Student > Master 9 20%
Researcher 6 13%
Student > Doctoral Student 3 7%
Student > Bachelor 3 7%
Professor > Associate Professor 3 7%
Other 9 20%
Unknown 13 28%
Readers by discipline Count As %
Computer Science 24 52%
Engineering 3 7%
Business, Management and Accounting 2 4%
Mathematics 2 4%
Social Sciences 1 2%
Other 0 0%
Unknown 14 30%