Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Compositional Abstractions for Interacting Processes

Lookup NU author(s): Emeritus Professor Maciej KoutnyORCiD, Dr Marta Koutny

Downloads

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

Abstract

A promising way of dealing with complex behaviours of networks of communicating processes is to use abstractions. In our previous work, interface abstraction, modelled through a suitable relation, allowed us to `interpret' the behaviour of an implementation process as that of a specification process, even in the event that their interfaces differ. The proposed relation is compositional, in the sense that a composition of communicating sub-systems may be implemented by connecting their respective implementations. But so far abstraction has been shown to distribute only over network composition which restricts its usefulness for compositional correctness analysis. In this paper we extend the treatment to other process constructs which proved to be useful in the development of complex distributed applications.

Publication metadata

Author(s): Koutny M, Pappalardo G, Pietkiewicz-Koutny M

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Proceedings of the International Multiconference on Computer Science and Information Technology

Year of Conference: 2007

Pages: 745-754

Publisher: Polish Information Processing Society

URL: http://www.proceedings2007.imcsit.org/

Notes: Paper presented at International Conference on Principles of Information Technology and Applications session of 2007 Multiconference.

Share