Bundle event structures: a non-interleaving semantics for LOTOS

    Research output: Chapter in Book/Report/Conference proceedingConference contributionProfessional

    Original languageEnglish
    Title of host publicationFormal Description Techniques V
    Subtitle of host publicationproceedings of the IFIP TC6/WG6.1 Fifth International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols-FORTE 92, Perros-Guirec, France, 13-16 October 1992
    EditorsMichel Diaz, Roland Groz
    Place of PublicationAmsterdam
    PublisherNorth-Holland Publishing Company
    Pages331-346
    ISBN (Print)0-444-89282-6
    Publication statusPublished - 1991
    Event5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992 - Perros-Guirec, France
    Duration: 13 Oct 199216 Oct 1992
    Conference number: 5

    Publication series

    NameIFIP transactions C, Communication systems
    PublisherNorth-Holland
    Volume10
    ISSN (Print)0926-549X

    Conference

    Conference5th International Conference on Formal Description Techniques for Distributed Systems and Communications Protocols, FORTE 1992
    Abbreviated titleFORTE 1992
    CountryFrance
    CityPerros-Guirec
    Period13/10/9216/10/92

    Cite this