A Coalgebraic Calculus for Component Based Systems

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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