A Coalgebraic Calculus for Component Based Systems

Research output: Chapter in Book/Report/Conference proceedingConference paperpeer-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
Country/TerritoryItaly
CityPisa
Period8/09/039/09/03
  • Formal Methods

    Lucas, P., Lorber, F. L., Jöbstl, E. & Aichernig, B.

    1/01/95 → …

    Project: Research area

Cite this