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

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

Research output: Contribution to journalArticlepeer-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 languageEnglish
Pages (from-to)282-296
Number of pages15
JournalElectronic Notes in Theoretical Computer Science
Volume70
Issue number3
DOIs
Publication statusPublished - 1 Nov 2002

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