On the Semantics of Componentware: a Coalgebraic Perspective

Luís Soares Barbosa, Sun Meng, Bernhard Aichernig, Nuno Rodrigues

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Mathematical Frameworks for Component Software: Models for Analysis and Synthesis
Publisher	World Scientific
Pages	69-118
Volume	2
Edition	1
ISBN (Print)	981-270-017-X
Publication status	Published - 2006

Name	Series on Component-Based Software Development
Publisher	World Scientific

Formal Methods
Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.
1/01/95 → …
Project: Research area

Cite this

On the Semantics of Componentware: a Coalgebraic Perspective. / Barbosa, Luís Soares; Meng, Sun; Aichernig, Bernhard et al.
Mathematical Frameworks for Component Software: Models for Analysis and Synthesis. Vol. 2 1. ed. World Scientific, 2006. p. 69-118 (Series on Component-Based Software Development).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

@inbook{da9d3edd123649b8891a4b7655f19d68,

title = "On the Semantics of Componentware: a Coalgebraic Perspective",

author = "Barbosa, {Lu{\'i}s Soares} and Sun Meng and Bernhard Aichernig and Nuno Rodrigues",

year = "2006",

language = "English",

isbn = "981-270-017-X",

volume = "2",

series = "Series on Component-Based Software Development",

publisher = "World Scientific",

pages = "69--118",

booktitle = "Mathematical Frameworks for Component Software: Models for Analysis and Synthesis",

address = "United States",

edition = "1",

}

TY - CHAP

T1 - On the Semantics of Componentware: a Coalgebraic Perspective

AU - Barbosa, Luís Soares

AU - Meng, Sun

AU - Aichernig, Bernhard

AU - Rodrigues, Nuno

PY - 2006

Y1 - 2006

M3 - Chapter

SN - 981-270-017-X

VL - 2

T3 - Series on Component-Based Software Development

SP - 69

EP - 118

BT - Mathematical Frameworks for Component Software: Models for Analysis and Synthesis

PB - World Scientific

ER -