Elspeth Cusack

Learn More
This paper establishes a language-independent framework for class-based inheritance using a generic concept of refinement. The framework is then realised in the process algebra CSP. Class membership is expressed in terms of conformance to some relabelling of a distinguished process (the class template). The approach of the paper facilitates rigorous(More)
Communication standards are specifications or models of protocols and related systems. To be fit for their purpose they must be sufficiently abstract to be implementation-independent and free from substantial errors, as they will be used many times, and mistakes found after publication are extremely costly. Such standards --- especially <i>Open Systems(More)