A Coalgebraic Calculus for Component Based Systems

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationWorkshop on Formal Aspects of Component Software (FACS'03)
Publisher.
Pages27-46
Volume284
Publication statusPublished - 2003
EventInternational Symposium of Formal Methods Europe - Pisa, Italy
Duration: 8 Sep 20039 Sep 2003

Publication series

NameUNU-IIST Technical Reports

Conference

ConferenceInternational Symposium of Formal Methods Europe
CountryItaly
CityPisa
Period8/09/039/09/03

Cite this

Meng, S., & Aichernig, B. (2003). A Coalgebraic Calculus for Component Based Systems. In Workshop on Formal Aspects of Component Software (FACS'03) (Vol. 284, pp. 27-46). (UNU-IIST Technical Reports). ..

A Coalgebraic Calculus for Component Based Systems. / Meng, Sun; Aichernig, Bernhard.

Workshop on Formal Aspects of Component Software (FACS'03). Vol. 284 ., 2003. p. 27-46 (UNU-IIST Technical Reports).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Meng, S & Aichernig, B 2003, A Coalgebraic Calculus for Component Based Systems. in Workshop on Formal Aspects of Component Software (FACS'03). vol. 284, UNU-IIST Technical Reports, ., pp. 27-46, International Symposium of Formal Methods Europe, Pisa, Italy, 8/09/03.
Meng S, Aichernig B. A Coalgebraic Calculus for Component Based Systems. In Workshop on Formal Aspects of Component Software (FACS'03). Vol. 284. . 2003. p. 27-46. (UNU-IIST Technical Reports).
Meng, Sun ; Aichernig, Bernhard. / A Coalgebraic Calculus for Component Based Systems. Workshop on Formal Aspects of Component Software (FACS'03). Vol. 284 ., 2003. pp. 27-46 (UNU-IIST Technical Reports).
@inproceedings{dff6fc501e3e4f2fbe959013bc60c6c5,
title = "A Coalgebraic Calculus for Component Based Systems",
author = "Sun Meng and Bernhard Aichernig",
year = "2003",
language = "English",
volume = "284",
series = "UNU-IIST Technical Reports",
publisher = ".",
pages = "27--46",
booktitle = "Workshop on Formal Aspects of Component Software (FACS'03)",

}

TY - GEN

T1 - A Coalgebraic Calculus for Component Based Systems

AU - Meng, Sun

AU - Aichernig, Bernhard

PY - 2003

Y1 - 2003

M3 - Conference contribution

VL - 284

T3 - UNU-IIST Technical Reports

SP - 27

EP - 46

BT - Workshop on Formal Aspects of Component Software (FACS'03)

PB - .

ER -