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

Algebraic Methodology and Software Technology

Overview of attention for book
Cover of 'Algebraic Methodology and Software Technology'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Structural Analysis for Stochastic Process Algebra Models
  3. Altmetric Badge
    Chapter 2 Verification of Common Interprocedural Compiler Optimizations Using Visibly Pushdown Kleene Algebra
  4. Altmetric Badge
    Chapter 3 On the Expressiveness of the π-Calculus and the Mobile Ambients
  5. Altmetric Badge
    Chapter 4 Integrating Maude into Hets
  6. Altmetric Badge
    Chapter 5 Model Refinement Using Bisimulation Quotients
  7. Altmetric Badge
    Chapter 6 Type Fusion
  8. Altmetric Badge
    Chapter 7 Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming
  9. Altmetric Badge
    Chapter 8 Learning in a Changing World, an Algebraic Modal Logical Approach
  10. Altmetric Badge
    Chapter 9 Matching Logic: An Alternative to Hoare/Floyd Logic
  11. Altmetric Badge
    Chapter 10 Program Calculation in Coq
  12. Altmetric Badge
    Chapter 11 Cooperation of Algebraic Constraint Domains in Higher-Order Functional and Logic Programming
  13. Altmetric Badge
    Chapter 12 Proving Termination Properties with mu-term
  14. Altmetric Badge
    Chapter 13 BAL Tool in Flexible Manufacturing Systems
  15. Altmetric Badge
    Chapter 14 A Complete Declarative Debugger for Maude
  16. Altmetric Badge
    Chapter 15 An Assume Guarantee Approach for Checking Quantified Array Assertions
Attention for Chapter 5: Model Refinement Using Bisimulation Quotients
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
1 Mendeley
Summary 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.
Chapter title
Model Refinement Using Bisimulation Quotients
Chapter number 5
Book title
Algebraic Methodology and Software Technology
Published by
Springer, Berlin, Heidelberg, June 2010
DOI 10.1007/978-3-642-17796-5_5
Book ISBNs
978-3-64-217795-8, 978-3-64-217796-5
Authors

Roland Glück, Bernhard Möller, Michel Sintzoff, Glück, Roland, Möller, Bernhard, Sintzoff, Michel

View on publisher site

This page is provided by Altmetric.