↓ 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 13: Formalizing and Validating the P-Store Replicated Data Store in Maude
Altmetric Badge

Citations

dimensions_citation
1 Dimensions
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
Formalizing and Validating the P-Store Replicated Data Store in Maude
Chapter number 13
Book title
Recent Trends in Algebraic Development Techniques
Published by
Springer, Cham, September 2016
DOI 10.1007/978-3-319-72044-9_13
Book ISBNs
978-3-31-972043-2, 978-3-31-972044-9
Authors

Peter Csaba Ölveczky

View on publisher site

This page is provided by Altmetric.