A Coalgebraic Calculus for Component Based Systems

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Workshop on Formal Aspects of Component Software (FACS'03)
Publisher	.
Pages	27-46
Volume	284
Publication status	Published - 2003
Event	International Symposium of Formal Methods Europe - Pisa, Italy Duration: 8 Sept 2003 → 9 Sept 2003

Name	UNU-IIST Technical Reports

Conference	International Symposium of Formal Methods Europe
Country/Territory	Italy
City	Pisa
Period	8/09/03 → 9/09/03

Formal Methods
Lucas, P. (Co-Investigator (CoI)), Lorber, F. L. (Co-Investigator (CoI)), Jöbstl, E. (Co-Investigator (CoI)) & Aichernig, B. (Co-Investigator (CoI))
1/01/95 → 31/12/24
Project: Research area

Cite this

@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)",

note = "International Symposium of Formal Methods Europe ; Conference date: 08-09-2003 Through 09-09-2003",

}

TY - GEN

T1 - A Coalgebraic Calculus for Component Based Systems

AU - Meng, Sun

AU - Aichernig, Bernhard

PY - 2003

Y1 - 2003

M3 - Conference paper

VL - 284

T3 - UNU-IIST Technical Reports

SP - 27

EP - 46

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

PB - .

T2 - International Symposium of Formal Methods Europe

Y2 - 8 September 2003 through 9 September 2003

ER -