Refining interfaces of communicating systems

E. Brinksma, B. Jonsson, F. Orava

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

    18 Citations (Scopus)
    Original languageEnglish
    Title of host publicationTapsoft'91 (Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991)
    EditorsS. Abramsky, T.S.E. Maibaum
    Place of PublicationBerlin
    PublisherSpringer
    Pages297-312
    Volume2
    ISBN (Print)3-540-53981-6
    DOIs
    Publication statusPublished - 1991

    Publication series

    NameLecture Notes in Computer Science
    Volume494
    ISSN (Print)0302-9743

    Cite this