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

Recent Trends in Algebraic Development Techniques

Overview of attention for book
Cover of 'Recent Trends in Algebraic Development Techniques'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Advances in Verification of Multi-agent Systems
  3. Altmetric Badge
    Chapter 2 The Distributed Ontology, Model and Specification Language – DOL
  4. Altmetric Badge
    Chapter 3 Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
  5. Altmetric Badge
    Chapter 4 Asymmetric Combination of Logics is Functorial: A Survey
  6. Altmetric Badge
    Chapter 5 Algebraic Model Management: A Survey
  7. Altmetric Badge
    Chapter 6 Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
  8. Altmetric Badge
    Chapter 7 A Calculus of Virtually Timed Ambients
  9. Altmetric Badge
    Chapter 8 An Institution for Event-B
  10. Altmetric Badge
    Chapter 9 On the Most Suitable Axiomatization of Signed Integers
  11. Altmetric Badge
    Chapter 10 Observational Semantics for Dynamic Logic with Binders
  12. Altmetric Badge
    Chapter 11 Towards Critical Pair Analysis for the Graph Programming Language GP 2
  13. Altmetric Badge
    Chapter 12 Canonical Selection of Colimits
  14. Altmetric Badge
    Chapter 13 Formalizing and Validating the P-Store Replicated Data Store in Maude
  15. Altmetric Badge
    Chapter 14 Generic Hoare Logic for Order-Enriched Effects with Exceptions
Attention for Chapter 8: An Institution for Event-B
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
Summary Dimensions citations
So far, Dimensions has found 1 citation of this research output.

1

The most recent citing publication is shown below. View this citation 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.