↓ 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 9: Matching Logic: An Alternative to Hoare/Floyd Logic
Altmetric Badge

Citations

dimensions_citation
3 Dimensions

Readers on

mendeley
16 Mendeley
Summary Dimensions citations
So far, Dimensions has found 3 publications that cite this research output.

3

The most recent citing publications are shown below. View all 3 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.