↓ Skip to main content
What is this page? Embed badge

Foundations of Software Science and Computational Structures

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

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Game Semantics for Generic Polymorphism
  3. Altmetric Badge
    Chapter 2 Categories of Containers
  4. Altmetric Badge
    Chapter 3 Verification of Probabilistic Systems with Faulty Communication
  5. Altmetric Badge
    Chapter 4 Generalized Iteration and Coiteration for Higher-Order Nested Datatypes
  6. Altmetric Badge
    Chapter 5 Ambiguous Classes in the Games μ-Calculus Hierarchy
  7. Altmetric Badge
    Chapter 6 Parameterized Verification by Probabilistic Abstraction
  8. Altmetric Badge
    Chapter 7 Genericity and the π-Calculus
  9. Altmetric Badge
    Chapter 8 Model Checking Lossy Channels Systems Is Probably Decidable
  10. Altmetric Badge
    Chapter 9 Verification of Cryptographic Protocols: Tagging Enforces Termination
  11. Altmetric Badge
    Chapter 10 A Normalisation Result for Higher-Order Calculi with Explicit Substitutions
  12. Altmetric Badge
    Chapter 11 When Ambients Cannot Be Opened
  13. Altmetric Badge
    Chapter 12 Computability over an Arbitrary Structure. Sequential and Parallel Polynomial Time
  14. Altmetric Badge
    Chapter 13 An Intrinsic Characterization of Approximate Probabilistic Bisimilarity
  15. Altmetric Badge
    Chapter 14 Manipulating Trees with Hidden Labels
  16. Altmetric Badge
    Chapter 15 The Converse of a Stochastic Relation
  17. Altmetric Badge
    Chapter 16 Type Assignment for Intersections and Unions in Call-by-Value Languages
  18. Altmetric Badge
    Chapter 17 Cones and Foci for Protocol Verification Revisited
  19. Altmetric Badge
    Chapter 18 Towards a Behavioural Theory of Access and Mobility Control in Distributed Systems
  20. Altmetric Badge
    Chapter 19 The Two-Variable Guarded Fragment with Transitive Guards Is 2EXPTIME-Hard
  21. Altmetric Badge
    Chapter 20 A Game Semantics of Linearly Used Continuations
  22. Altmetric Badge
    Chapter 21 Counting and Equality Constraints for Multitree Automata
  23. Altmetric Badge
    Chapter 22 Compositional Circular Assume-Guarantee Rules Cannot Be Sound and Complete
  24. Altmetric Badge
    Chapter 23 A Monadic Multi-stage Metalanguage
  25. Altmetric Badge
    Chapter 24 Multi-level Meta-reasoning with Higher-Order Abstract Syntax
  26. Altmetric Badge
    Chapter 25 Abstraction in Reasoning about Higraph-Based Systems
  27. Altmetric Badge
    Chapter 26 Deriving Bisimulation Congruences: 2-Categories Vs Precategories
  28. Altmetric Badge
    Chapter 27 On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the μCalculus
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
3 Mendeley
Summary X Dimensions citations
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 Computational Structures
Published by
Springer, Berlin, Heidelberg, January 2003
DOI 10.1007/3-540-36576-1
ISBNs
978-3-54-000897-2, 978-3-54-036576-1
Editors

Andrew D. Gordon

View on publisher site
X Demographics

X Demographics

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

This page is provided by Altmetric.