loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Sixth International Conference on Application of Concurrency to System Design (ACSD'06)
Towards an Algebra of Abstractions for Communicating Processes
Turku, Finland
June 28-June 30
ISBN: 0-7695-2556-3
ASCII Text
x 
 
Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny, "Towards an Algebra of Abstractions for Communicating Processes," Application of Concurrency to System Design, International Conference on, pp. 239-250, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/ACSD.2006.34,
author = {Maciej Koutny and Giuseppe Pappalardo and Marta Pietkiewicz-Koutny},
title = {Towards an Algebra of Abstractions for Communicating Processes},
journal ={Application of Concurrency to System Design, International Conference on},
volume = {0},
year = {2006},
issn = {1550-4808},
pages = {239-250},
doi = {http://doi.ieeecomputersociety.org/10.1109/ACSD.2006.34},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Application of Concurrency to System Design, International Conference on
TI - Towards an Algebra of Abstractions for Communicating Processes
SN - 1550-4808
SP239
EP250
A1 - Maciej Koutny,
A1 - Giuseppe Pappalardo,
A1 - Marta Pietkiewicz-Koutny,
PY - 2006
KW - null
VL - 0
JA - Application of Concurrency to System Design, International Conference on
ER -
 
Maciej Koutny, University of Newcastle, NE1 7RU, United Kingdom.
Giuseppe Pappalardo, Universit? di Catania, I-95125 Catania, Italy
Marta Pietkiewicz-Koutny, University of Newcastle, NE1 7RU, United Kingdom

It is often desirable to describe the interface of an implementation system at a different (usually more detailed) level of abstraction to the interface of the relevant specification. This calls for a relation aimed at formalising the notion that a process is an acceptable implementation of another target process in the event that they possess different interfaces. This paper formulates a suitable implementation relation between the observable behaviours of the implementation and the target process using CSP. Interface difference and bridging is modelled by endowing the implementation relation with parameters, called extraction patterns, instrumental to interpreting implementation behaviour as target behaviour.

It is often desirable to describe the interface of an implementation system at a different (usually more detailed) level of abstraction to the interface of the relevant specification. This calls for a relation aimed at formalising the notion that a process is an acceptable implementation of another target process in the event that they possess different interfaces. This paper formulates a suitable implementation relation between the observable behaviours of the implementation and the target process using CSP. Interface difference and bridging is modelled by endowing the implementation relation with parameters, called extraction patterns, instrumental to interpreting implementation behaviour as target behaviour.

It is often desirable to describe the interface of an implementation system at a different (usually more detailed) level of abstraction to the interface of the relevant specification. This calls for a relation aimed at formalising the notion that a process is an acceptable implementation of another target process in the event that they possess different interfaces. This paper formulates a suitable implementation relation between the observable behaviours of the implementation and the target process using CSP. Interface difference and bridging is modelled by endowing the implementation relation with parameters, called extraction patterns, instrumental to interpreting implementation behaviour as target behaviour.

Citation:
Maciej Koutny, Giuseppe Pappalardo, Marta Pietkiewicz-Koutny, "Towards an Algebra of Abstractions for Communicating Processes," acsd, pp.239-250, Sixth International Conference on Application of Concurrency to System Design (ACSD'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.