On the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems

M. Katara, R. Kurki-Suonio, T. Mikkonen

    Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

    Translated title of the contributionOn the Horizontal Dimension of Software Architecture in Formal Specifications of Reactive Systems
    Original languageEnglish
    Title of host publicationFOAL 2004 Proceedings, Foundations of Aspect-Oriented Languages Workshop at AOSD 2004, Department of Computer Science, Iowa State University, Ames, Iowa, USA
    EditorsC. Clifton, R. Lämmel, G.T. Leavens
    Pages37-43
    Publication statusPublished - 2004
    Publication typeA4 Article in a conference publication

    Publication forum classification

    • No publication forum level

    Cite this