Recent Trends in Algebraic Development Techniques

Overview of attention for book

Cover of 'Recent Trends in Algebraic Development Techniques'

Table of Contents

Altmetric Badge

Book Overview
Altmetric Badge

Chapter 1 Advances in Verification of Multi-agent Systems
Altmetric Badge

Chapter 2 The Distributed Ontology, Model and Specification Language – DOL
Altmetric Badge

Chapter 3 Theorising Monitoring: Algebraic Models of Web Monitoring in Organisations
Altmetric Badge

Chapter 4 Asymmetric Combination of Logics is Functorial: A Survey
Altmetric Badge

Chapter 5 Algebraic Model Management: A Survey
Altmetric Badge

Chapter 6 Probability Functions in the Context of Signed Involutive Meadows (Extended Abstract)
Altmetric Badge

Chapter 7 A Calculus of Virtually Timed Ambients
Altmetric Badge

Chapter 8 An Institution for Event-B
Altmetric Badge

Chapter 9 On the Most Suitable Axiomatization of Signed Integers
Altmetric Badge

Chapter 10 Observational Semantics for Dynamic Logic with Binders
Altmetric Badge

Chapter 11 Towards Critical Pair Analysis for the Graph Programming Language GP 2
Altmetric Badge

Chapter 12 Canonical Selection of Colimits
Altmetric Badge

Chapter 13 Formalizing and Validating the P-Store Replicated Data Store in Maude
Altmetric Badge

Chapter 14 Generic Hoare Logic for Order-Enriched Effects with Exceptions

Attention for Chapter 10: Observational Semantics for Dynamic Logic with Binders

Altmetric Badge

Citations

dimensions_citation: 1 Dimensions

Readers on

mendeley: 1 Mendeley

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.

Granularity of conflicts and dependencies in graph transformation systems: A two-dimensional approach

Article in Journal of Logical and Algebraic Methods in Programming (February 2019)

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

Click here to find out how to access more activity.