Finding compositional design methods for concurrent software is made difficult by the inevitable interference between components about which one would like to reason independently. This paper reviews some of the research on reasoning about -and limiting- interference. It can be argued that there is as yet no entirely satisfactory compositional method and another purpose of the paper is to expose the author's prejudices as to likely attributes of a useful method.
展开▼
