Generating adapters for concurrent component protocol synchronisation

Heinz W Schmidt, Ralf H Reussner

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

    38 Citations (Scopus)
    Original languageEnglish
    Title of host publicationFormal Methods for Open Object-Based Distributed Systems V: Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002)
    EditorsB Jacobs, A Rensink
    Place of PublicationMassachusetts USA
    PublisherKluwer Academic Publishers
    Pages213 - 229
    Number of pages17
    ISBN (Print)0-7923-7683-8
    Publication statusPublished - 2002
    EventInternational Conference on Formal Methods for Open Object-Based Distributed Systems - Enschede The Netherlands, Massachusetts USA
    Duration: 1 Jan 2002 → …

    Conference

    ConferenceInternational Conference on Formal Methods for Open Object-Based Distributed Systems
    CityMassachusetts USA
    Period1/01/02 → …

    Cite this