Superposition: Composition vs refinement of non-deterministic, action-based systems

Antónia Lopes; José Luiz Fiadeiro

doi:10.1016/S1571-0661(05)82562-9

Superposition: Composition vs refinement of non-deterministic, action-based systems

Antónia Lopes (Lead / Corresponding author), José Luiz Fiadeiro (Lead / Corresponding author)

Science and Engineering Office

Research output: Contribution to journal › Article › peer-review

1 Citation (Scopus)

83 Downloads (Pure)

Abstract

We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministic behaviour of action-based systems is considered. For that purpose, we rely on a categorical formalisation of program design in the language CommUnity that we are also using for addressing architectural concerns.

Original language	English
Pages (from-to)	282-296
Number of pages	15
Journal	Electronic Notes in Theoretical Computer Science
Volume	70
Issue number	3
DOIs	https://doi.org/10.1016/S1571-0661(05)82562-9
Publication status	Published - 1 Nov 2002

Access to Document

10.1016/S1571-0661(05)82562-9Licence: CC BY-NC-ND

Publisher final version
c 2002 Published by Elsevier Science B. V. Open access under CC BY-NC-ND license.
Final published version, 743 KBLicence: CC BY-NC-ND

Link to publication in Scopus

Fingerprint Dive into the research topics of 'Superposition: Composition vs refinement of non-deterministic, action-based systems'. Together they form a unique fingerprint.

Cite this

@article{51ad4315eee44833b75b950b09cf7b32,

title = "Superposition: Composition vs refinement of non-deterministic, action-based systems",

abstract = "We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministic behaviour of action-based systems is considered. For that purpose, we rely on a categorical formalisation of program design in the language CommUnity that we are also using for addressing architectural concerns.",

author = "Ant{\'o}nia Lopes and Fiadeiro, {Jos{\'e} Luiz}",

year = "2002",

month = nov,

day = "1",

doi = "10.1016/S1571-0661(05)82562-9",

language = "English",

volume = "70",

pages = "282--296",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

number = "3",

}

TY - JOUR

T1 - Superposition

T2 - Composition vs refinement of non-deterministic, action-based systems

AU - Lopes, Antónia

AU - Fiadeiro, José Luiz

PY - 2002/11/1

Y1 - 2002/11/1

N2 - We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministic behaviour of action-based systems is considered. For that purpose, we rely on a categorical formalisation of program design in the language CommUnity that we are also using for addressing architectural concerns.

AB - We show that the traditional notion of superposition as used for supporting parallel program design can subsume both composition and refinement relationships when non-deterministic behaviour of action-based systems is considered. For that purpose, we rely on a categorical formalisation of program design in the language CommUnity that we are also using for addressing architectural concerns.

UR - http://www.scopus.com/inward/record.url?scp=23844516209&partnerID=8YFLogxK

U2 - 10.1016/S1571-0661(05)82562-9

DO - 10.1016/S1571-0661(05)82562-9

M3 - Article

AN - SCOPUS:23844516209

VL - 70

SP - 282

EP - 296

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

IS - 3

ER -