↓ 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 When Programs Have to Watch Paint Dry
  3. Altmetric Badge
    Chapter 1 When Programs Have to Watch Paint Dry
  4. Altmetric Badge
    Chapter 2 Deciding Contextual Equivalence of $$\nu $$ ν -Calculus with Effectful Contexts
  5. Altmetric Badge
    Chapter 3 Kantorovich Functors and Characteristic Logics for Behavioural Distances
  6. Altmetric Badge
    Chapter 4 A Logical Framework with Higher-Order Rational (Circular) Terms
  7. Altmetric Badge
    Chapter 5 A Higher-Order Language for Markov Kernels and Linear Operators
  8. Altmetric Badge
    Chapter 6 A Formal Logic for Formal Category Theory
  9. Altmetric Badge
    Chapter 7 A Strict Constrained Superposition Calculus for Graphs
  10. Altmetric Badge
    Chapter 8 A Programming Language Characterizing Quantum Polynomial Time
  11. Altmetric Badge
    Chapter 9 On the Existential Arithmetics with Addition and Bitwise Minimum
  12. Altmetric Badge
    Chapter 10 Coverability in 2-VASS with One Unary Counter is in NP
  13. Altmetric Badge
    Chapter 11 On History-Deterministic One-Counter Nets
  14. Altmetric Badge
    Chapter 12 Unboundedness Problems for Machines with Reversal-Bounded Counters
  15. Altmetric Badge
    Chapter 13 Reverse Bisimilarity vs. Forward Bisimilarity
  16. Altmetric Badge
    Chapter 14 Explainability of Probabilistic Bisimilarity Distances for Labelled Markov Chains
  17. Altmetric Badge
    Chapter 15 Weighted and Branching Bisimilarities from Generalized Open Maps
  18. Altmetric Badge
    Chapter 16 Preservation and Reflection of Bisimilarity via Invertible Steps
  19. Altmetric Badge
    Chapter 17 Quantitative Safety and Liveness
  20. Altmetric Badge
    Chapter 18 On the Comparison of Discounted-Sum Automata with Multiple Discount Factors
  21. Altmetric Badge
    Chapter 19 Fast Matching of Regular Patterns with Synchronizing Counting
  22. Altmetric Badge
    Chapter 20 Compositional Learning for Interleaving Parallel Automata
  23. Altmetric Badge
    Chapter 21 Pebble minimization: the last theorems
  24. Altmetric Badge
    Chapter 22 Fixed Points and Noetherian Topologies
  25. Altmetric Badge
    Chapter 23 An Efficient Cyclic Entailment Procedure in a Fragment of Separation Logic
  26. Altmetric Badge
    Chapter 24 Just Testing
  27. Altmetric Badge
    Chapter 25 Model and Program Repair via Group Actions
  28. Altmetric Badge
    Chapter 26 Subgame Optimal Strategies in Finite Concurrent Games with Prefix-Independent Objectives
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
5 X users
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 Nature Switzerland, May 2023
DOI 10.1007/978-3-031-30829-1
ISBNs
978-3-03-130828-4, 978-3-03-130829-1
Editors

Kupferman, Orna, Sobocinski, Pawel

X Demographics

X Demographics

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