↓ Skip to main content

Processes, Terms and Cycles: Steps on the Road to Infinity

Overview of attention for book
Cover of 'Processes, Terms and Cycles: Steps on the Road to Infinity'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 The Spectra of Words
  3. Altmetric Badge
    Chapter 2 On the Undecidability of Coherent Logic
  4. Altmetric Badge
    Chapter 3 Löb’s Logic Meets the μ -Calculus
  5. Altmetric Badge
    Chapter 4 A Characterisation of Weak Bisimulation Congruence
  6. Altmetric Badge
    Chapter 5 Böhm’s Theorem, Church’s Delta, Numeral Systems, and Ershov Morphisms
  7. Altmetric Badge
    Chapter 6 Explaining Constraint Programming
  8. Altmetric Badge
    Chapter 7 Sharing in the Weak Lambda-Calculus
  9. Altmetric Badge
    Chapter 8 Term Rewriting Meets Aspect-Oriented Programming
  10. Altmetric Badge
    Chapter 9 Observing Reductions in Nominal Calculi Via a Graphical Encoding of Processes
  11. Altmetric Badge
    Chapter 10 Primitive Rewriting
  12. Altmetric Badge
    Chapter 11 Infinitary Rewriting: From Syntax to Semantics
  13. Altmetric Badge
    Chapter 12 Reducing Right-Hand Sides for Termination
  14. Altmetric Badge
    Chapter 13 Reduction Strategies for Left-Linear Term Rewriting Systems
  15. Altmetric Badge
    Chapter 14 Higher-Order Rewriting: Framework, Confluence and Termination
  16. Altmetric Badge
    Chapter 15 Timing the Untimed: Terminating Successfully While Being Conservative
  17. Altmetric Badge
    Chapter 16 Confluence of Graph Transformation Revisited
  18. Altmetric Badge
    Chapter 17 Compositional Reasoning for Probabilistic Finite-State Behaviors
  19. Altmetric Badge
    Chapter 18 Finite Equational Bases in Process Algebra: Results and Open Questions
  20. Altmetric Badge
    Chapter 19 Skew and ω -Skew Confluence and Abstract Böhm Semantics
  21. Altmetric Badge
    Chapter 20 A Mobility Calculus with Local and Dependent Types
  22. Altmetric Badge
    Chapter 21 Model Theory for Process Algebra
  23. Altmetric Badge
    Chapter 22 Expression Reduction Systems and Extensions: An Overview
  24. Altmetric Badge
    Chapter 23 Axiomatic Rewriting Theory I: A Diagrammatic Standardization Theorem
Attention for Chapter 4: A Characterisation of Weak Bisimulation Congruence
Altmetric Badge

Citations

dimensions_citation
5 Dimensions

Readers on

mendeley
7 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.
Chapter title
A Characterisation of Weak Bisimulation Congruence
Chapter number 4
Book title
Processes, Terms and Cycles: Steps on the Road to Infinity
Published by
Springer, Berlin, Heidelberg, January 2005
DOI 10.1007/11601548_4
Book ISBNs
978-3-54-030911-6, 978-3-54-032425-6
Authors

Rob J. van Glabbeek, Glabbeek, Rob J. van

Mendeley readers

Mendeley readers

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

Geographical breakdown

Country Count As %
France 2 29%
Unknown 5 71%

Demographic breakdown

Readers by professional status Count As %
Other 2 29%
Student > Doctoral Student 2 29%
Student > Ph. D. Student 2 29%
Student > Bachelor 1 14%
Researcher 1 14%
Other 0 0%
Readers by discipline Count As %
Computer Science 6 86%
Business, Management and Accounting 1 14%
Engineering 1 14%