On the Semantics of Componentware: a Coalgebraic Perspective

Luís Soares Barbosa, Sun Meng, Bernhard Aichernig, Nuno Rodrigues

Research output: Chapter in Book/Report/Conference proceedingChapter

Original languageEnglish
Title of host publicationMathematical Frameworks for Component Software: Models for Analysis and Synthesis
PublisherWorld Scientific
ISBN (Print)981-270-017-X
Publication statusPublished - 2006

Publication series

NameSeries on Component-Based Software Development
PublisherWorld Scientific
  • Formal Methods

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

    1/01/95 → …

    Project: Research area

Cite this