↓ 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 Regular and Algebraic Words and Ordinals
  3. Altmetric Badge
    Chapter 2 Logical Semantics of Types for Concurrency
  4. Altmetric Badge
    Chapter 3 Deriving Bisimulation Congruences with Borrowed Contexts
  5. Altmetric Badge
    Chapter 4 Algebra and Coalgebra in Computer Science
  6. Altmetric Badge
    Chapter 5 Ready to Preorder: Get Your BCCSP Axiomatization for Free!
  7. Altmetric Badge
    Chapter 6 Impossibility Results for the Equational Theory of Timed CCS
  8. Altmetric Badge
    Chapter 7 Conceptual Data Modeling with Constraints in Maude
  9. Altmetric Badge
    Chapter 8 Datatypes in Memory
  10. Altmetric Badge
    Chapter 9 Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
  11. Altmetric Badge
    Chapter 10 Free Modal Algebras: A Coalgebraic Perspective
  12. Altmetric Badge
    Chapter 11 Coalgebraic Epistemic Update Without Change of Model
  13. Altmetric Badge
    Chapter 12 The Maude Formal Tool Environment
  14. Altmetric Badge
    Chapter 13 Bifinite Chu Spaces
  15. Altmetric Badge
    Chapter 14 Structured Co-spans: An Algebra of Interaction Protocols
  16. Altmetric Badge
    Chapter 15 Graphical Encoding of a Spatial Logic for the π -Calculus
  17. Altmetric Badge
    Chapter 16 Higher Dimensional Trees, Algebraically
  18. Altmetric Badge
    Chapter 17 A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines
  19. Altmetric Badge
    Chapter 18 Parametric (Co)Iteration vs. Primitive Direcursion
  20. Altmetric Badge
    Chapter 19 Bisimulation for Neighbourhood Structures
  21. Altmetric Badge
    Chapter 20 Algebraic Models of Simultaneous Multithreaded and Multi-core Processors
  22. Altmetric Badge
    Chapter 21 Quasitoposes, Quasiadhesive Categories and Artin Glueing
  23. Altmetric Badge
    Chapter 22 Applications of Metric Coinduction
  24. Altmetric Badge
    Chapter 23 The Goldblatt-Thomason Theorem for Coalgebras
  25. Altmetric Badge
    Chapter 24 Specification-Based Testing for CoCasl ’s Modal Specifications
  26. Altmetric Badge
    Chapter 25 CIRC : A Circular Coinductive Prover
  27. Altmetric Badge
    Chapter 26 Observing Distributed Computation. A Dynamic-Epistemic Approach
  28. Altmetric Badge
    Chapter 27 Nabla Algebras and Chu Spaces
  29. Altmetric Badge
    Chapter 28 An Institutional Version of Gödel’s Completeness Theorem
  30. Altmetric Badge
    Chapter 29 Coalgebraic Foundations of Linear Systems
  31. Altmetric Badge
    Chapter 30 Bootstrapping Types and Cotypes in HasCASL
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
1 X user

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
1 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 2007
DOI 10.1007/978-3-540-73859-6
ISBNs
978-3-54-073857-2, 978-3-54-073859-6
Editors

Mossakowski, Till, Montanari, Ugo, Haveraaen, Magne

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.
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 1 Mendeley reader of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
Portugal 2 200%
Spain 1 100%
Italy 1 100%
United States 1 100%

Demographic breakdown

Readers by professional status Count As %
Student > Master 6 600%
Student > Ph. D. Student 5 500%
Professor > Associate Professor 3 300%
Researcher 2 200%
Student > Bachelor 1 100%
Other 2 200%
Readers by discipline Count As %
Computer Science 13 1300%
Mathematics 2 200%
Business, Management and Accounting 1 100%
Unspecified 1 100%
Agricultural and Biological Sciences 1 100%
Other 1 100%