A Queue Model relating Synchronous and Asynchronous Communication

Jan Tretmans, Louis Verhaard

    Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

    Abstract

    The problem of comparing specifications that use asynchronous communication (Estelle, SDL) with specifications that use synchronous communication (LOTOS) is approached by modelling asynchronous communication in the realm of labelled transition systems using a context. A particular context consisting of two queues, one for input and one for output, is investigated. This queue context is modelled by a queue operator on labelled transition systems. A new equivalence, queue equivalence, is introduced as testing equivalence in a queue context. It turns out that this equivalence can be characterized by sets of traces, instead of by failure pairs, as in the case of conventional testing equivalence on labelled transition systems. A few non-equivalence relations for queue contexts are introduced that can serve as implementation relations. They are related to the implementation relations of failure preorder, trace preorder and conformance.
    Original languageEnglish
    Title of host publicationProtocol Specification, Testing and Verification XII
    Subtitle of host publicationProceedings of the IFIP TC6/WG6.1. Twelfth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22–25 June, 1992
    EditorsR.J. Linn, Jr., M.Ü. Uyar
    Place of PublicationAmsterdam
    PublisherNorth Holland
    Pages131-145
    ISBN (Print)978-0-444-89874-6
    DOIs
    Publication statusPublished - 1992
    EventIFIP TC6/WG6.1. 12th International Symposium on Protocol Specification, Testing and Verification, PSTV 1992 - Lake Buena Vista, United States
    Duration: 22 Jun 199225 Jun 1992
    Conference number: 12

    Conference

    ConferenceIFIP TC6/WG6.1. 12th International Symposium on Protocol Specification, Testing and Verification, PSTV 1992
    Abbreviated titlePSTV 1992
    CountryUnited States
    CityLake Buena Vista
    Period22/06/9225/06/92

    Fingerprint

    Dive into the research topics of 'A Queue Model relating Synchronous and Asynchronous Communication'. Together they form a unique fingerprint.

    Cite this