Many semantic models of rely-guarantee have been proposed in the literature. This paper
proposes a new classification of the approaches into two groups based on their treatment of …

This report summarises the background and recent progress in the research of its co-authors.
It is aimed at the construction of links between algebraic presentations of the principles of …

A cluster id assignment scheme labels each cluster of a clustering with a distinct id. The goal
of id assignment is semantic id stability, which means that, whenever possible, a cluster for …

This paper defines pointwise clustering metrics, a collection of metrics for characterizing the
similarity of two clusterings. These metrics have several interesting properties which make …

This report summarises recent progress in the research of its co-authors towards the
construction of links between algebraic presentations of the principles of programming and the …

Liberalism in South Africa developed most in the Cape Colony, which later became the
Cape Province. British influence was always greatest at the Cape, which was home to most …

We survey the well-known algebraic laws of sequential programming, and propose some less
familiar laws for concurrent programming. On the basis of these laws, we derive a general …

We survey the well-known algebraic laws of sequential programming, and propose some
less familiar laws for concurrent programming. On the basis of these laws, we derive the rules …

ABCDE is a technique for evaluating clusterings of very large populations of items. Given
two clusterings, namely a Baseline clustering and an Experiment clustering, ABCDE can …

This paper considers the problem of evaluating clusterings of very large populations of items.
Given two clusterings, namely a Baseline clustering and an Experiment clustering, the …