Consider a distributed system consisting of n computers connected by a number of identical broadcast channels. All computers may receive messages from...
In the two parts of this article we present a transformational approach to the design of real-time systems. The overall starting point are requirement...
Program transformation techniques have been extensively studied in the framework of functional and logic languages, where they were applied mainly to...
This note provides exact formulae for the mean and variance of the cost of top-down recursive mergesort. These formulae improve upon earlier results o...
We show how to formalise different kinds of loop constructs within the refinement calculus, and how to use this formalisation to derive general transf...
