↓ Skip to main content

Algebra and Coalgebra in Computer Science

Overview of attention for book
Cover of 'Algebra and Coalgebra in Computer Science'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 On the Statistical Thermodynamics of Reversible Communicating Processes
  3. Altmetric Badge
    Chapter 2 Solving Fixed-Point Equations by Derivation Tree Analysis
  4. Altmetric Badge
    Chapter 3 Abstract Local Reasoning for Program Modules
  5. Altmetric Badge
    Chapter 4 Infinite Computation, Co-induction and Computational Logic
  6. Altmetric Badge
    Chapter 5 From Corecursive Algebras to Corecursive Monads
  7. Altmetric Badge
    Chapter 6 Algebra and Coalgebra in Computer Science
  8. Altmetric Badge
    Chapter 7 Finitary Functors: From Set to Preord and Poset
  9. Altmetric Badge
    Chapter 8 Model Constructions for Moss’ Coalgebraic Logic
  10. Altmetric Badge
    Chapter 9 Relation Liftings on Preorders and Posets
  11. Altmetric Badge
    Chapter 10 Model Checking Linear Coalgebraic Temporal Logics: An Automata-Theoretic Approach
  12. Altmetric Badge
    Chapter 11 Refinement Trees: Calculi, Tools, and Applications
  13. Altmetric Badge
    Chapter 12 On the Fusion of Coalgebraic Logics
  14. Altmetric Badge
    Chapter 13 Indexed Induction and Coinduction, Fibrationally
  15. Altmetric Badge
    Chapter 14 Algebra and Coalgebra in Computer Science
  16. Altmetric Badge
    Chapter 15 A Counterexample to Tensorability of Effects
  17. Altmetric Badge
    Chapter 16 The Microcosm Principle and Compositionality of GSOS-Based Component Calculi
  18. Altmetric Badge
    Chapter 17 Bases as Coalgebras
  19. Altmetric Badge
    Chapter 18 A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata
  20. Altmetric Badge
    Chapter 19 Coalgebraic Semantics for Derivations in Logic Programming
  21. Altmetric Badge
    Chapter 20 Hybridization of Institutions
  22. Altmetric Badge
    Chapter 21 Algebra and Coalgebra in Computer Science
  23. Altmetric Badge
    Chapter 22 Proving Safety Properties of Rewrite Theories
  24. Altmetric Badge
    Chapter 23 Generalized Product of Coalgebraic Hybrid Logics
  25. Altmetric Badge
    Chapter 24 Distributive-Law Semantics for Cellular Automata and Agent-Based Models
  26. Altmetric Badge
    Chapter 25 Context-Free Languages, Coalgebraically
  27. Altmetric Badge
    Chapter 26 Preface to CALCO-Tools
  28. Altmetric Badge
    Chapter 27 PREG Axiomatizer – A Ground Bisimilarity Checker for GSOS with Predicates
  29. Altmetric Badge
    Chapter 28 PVeStA : A Parallel Statistical Model Checking and Quantitative Analysis Tool
  30. Altmetric Badge
    Chapter 29 Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras
  31. Altmetric Badge
    Chapter 30 Tool Interoperability in the Maude Formal Environment
  32. Altmetric Badge
    Chapter 31 WiCcA : LTS Generation Tool for Wire Calculus
  33. Altmetric Badge
    Chapter 32 Shacc : A Functional Prototyper for a Component Calculus
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
5 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
Algebra and Coalgebra in Computer Science
Published by
Springer Berlin Heidelberg, August 2011
DOI 10.1007/978-3-642-22944-2
ISBNs
978-3-64-222943-5, 978-3-64-222944-2
Editors

Corradini, Andrea, Klin, Bartek, Cîrstea, Corina, Corradini, Andrea, Klin, Bartek, Cîrstea, Corina

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

Geographical breakdown

Country Count As %
Unknown 5 100%

Demographic breakdown

Readers by professional status Count As %
Professor > Associate Professor 1 20%
Lecturer 1 20%
Unknown 3 60%
Readers by discipline Count As %
Computer Science 2 40%
Unknown 3 60%