Toggle Main Menu Toggle Search

Open Access padlockePrints

A model of behaviour abstraction for communicating processes

Lookup NU author(s): Professor Maciej KoutnyORCiD


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


We investigate the notion that a system, or process, is an acceptable implementation of another base or target process, in the case that they have different interfaces. Base processes can be thought of as specifications, or ideal processes operating in an error-free environment, while implementations model their actual realisation, possibly employing a variety of fault-tolerant techniques. Using the CSP model, we relate implementations to targets in terms of their observable behaviours, through interface abstraction. We obtain two basic results: realisability and compositionality. The former ensures an implementation up to interface abstraction can be put to good use, in the sense that plugging it into an appropriate environment yields a conventional implementation. Compositionality requires that a target made up of subcomponents can be implemented by assembling their respective implementations.

Publication metadata

Author(s): Koutny M, Pappalardo G

Editor(s): Meinel, C., Tison, S.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 16th Annual Symposium on Theoretical Aspects of Computer Science

Year of Conference: 1999

Pages: 313-322

ISSN: 0302-9743 (print) 1611-3349 (online)

Publisher: Springer

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540656913