Abstract
Large distributed applications are composed of basic blocks, by using composition operators. In an
ideal situation, one should be able to develop and verify each of these basic components by itself,
using compositionality theorems of the respective composition operators stating that properties
of a composite program can be proved by proving properties of
... read more
