Foundations of Software Science and Computational Structures

Table of Contents

1. Altmetric Badge
   Book Overview
2. Altmetric Badge
   Chapter 1 Querying UML Class Diagrams
3. Altmetric Badge
   Chapter 2 Foundations of Software Science and Computational Structures
4. Altmetric Badge
   Chapter 3 Fibrational Induction Meets Effects
5. Altmetric Badge
   Chapter 4 A Coalgebraic Perspective on Minimization and Determinization
6. Altmetric Badge
   Chapter 5 When Is a Container a Comonad?
7. Altmetric Badge
   Chapter 6 Well-Pointed Coalgebras (Extended Abstract)
8. Altmetric Badge
   Chapter 7 Combining Interactive and Automatic Reasoning in First Order Theories of Functional Programs
9. Altmetric Badge
   Chapter 8 Applicative Bisimulations for Delimited-Control Operators
10. Altmetric Badge
    Chapter 9 Effective Characterizations of Simple Fragments of Temporal Logic Using Prophetic Automata
11. Altmetric Badge
    Chapter 10 Improved Ramsey-Based Büchi Complementation
12. Altmetric Badge
    Chapter 11 Extending ${\cal H}_1$ -Clauses with Path Disequalities
13. Altmetric Badge
    Chapter 12 Brookes Is Relaxed, Almost!
14. Altmetric Badge
    Chapter 13 Revisiting Trace and Testing Equivalences for Nondeterministic and Probabilistic Processes
15. Altmetric Badge
    Chapter 14 Is It a “Good” Encoding of Mixed Choice?
16. Altmetric Badge
    Chapter 15 Event Structure Semantics of Parallel Extrusion in the Pi-Calculus
17. Altmetric Badge
    Chapter 16 Narcissists Are Easy, Stepmothers Are Hard
18. Altmetric Badge
    Chapter 17 On Nominal Regular Languages with Binders
19. Altmetric Badge
    Chapter 18 Robustness of Structurally Equivalent Concurrent Parity Games
20. Altmetric Badge
    Chapter 19 Subgame Perfection for Equilibria in Quantitative Reachability Games
21. Altmetric Badge
    Chapter 20 Concurrent Games with Ordered Objectives
22. Altmetric Badge
    Chapter 21 Full Abstraction for Set-Based Models of the Symmetric Interaction Combinators
23. Altmetric Badge
    Chapter 22 On Distributability of Petri Nets
24. Altmetric Badge
    Chapter 23 Functions as Session-Typed Processes
25. Altmetric Badge
    Chapter 24 Deriving Bisimulation Congruences for Conditional Reactive Systems
26. Altmetric Badge
    Chapter 25 First-Order Model Checking on Nested Pushdown Trees is Complete for Doubly Exponential Alternating Time
27. Altmetric Badge
    Chapter 26 Model Checking Languages of Data Words
28. Altmetric Badge
    Chapter 27 Branching-Time Model Checking of Parametric One-Counter Automata
29. Altmetric Badge
    Chapter 28 Synthesizing Probabilistic Composers
30. Altmetric Badge
    Chapter 29 On the Complexity of Computing Probabilistic Bisimilarity
31. Altmetric Badge
    Chapter 30 Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
32. Altmetric Badge
    Chapter 31 On the Complexity of the Equivalence Problem for Probabilistic Automata