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). ..