Event structures for design and transformation in LOTOS

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

    Original languageEnglish
    Title of host publicationFORTE '91
    Subtitle of host publicationProceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV, November 1991
    EditorsKen R. Parker, Gordon A. Rose
    Place of PublicationNew York, NY
    PublisherACM Publishing
    Pages265–280
    Number of pages16
    ISBN (Print)978-0-444-89402-1
    DOIs
    Publication statusPublished - 19 Nov 1991

    Cite this